1 Prerequisites

Before we even start, it is of crucial importance to first understand deeply linear and logistic regression. This is because (as we will see in later discussion) they are the very basic components in a general neural network model.

1.1 Linear Regression

A linear model can be written in a matrix form

\[ Y = X\beta + \epsilon, \]

where \(Y\) is the output or label vector of length \(N\) (number of observations), \(X\) is the input feature matrix (referred to as the design matrix in statistics) with dimension \(N\) by \(P\) (number of features), \(\beta\) is the model weights/coefficients (a column vector of length \(P\)) for which we’d like to solve, \(\epsilon\) is the model residual or error vector.

1.1.1 Ordinary Least Squares

The classical way to solve for \(\beta\) is ordinary least squares. The idea of OLS is find out the weights that minimize the mean of squared model errors:

\[ \begin{aligned} \mbox{mse (loss)} &= \frac{1}{N}\sum_i\epsilon^2_i \\ &= \frac{1}{N}\sum_i(y_i - \beta x_i)^2, \end{aligned} \]

where \(y_i\) and \(x_i\) is the \(i\)-th observation. The first-order condition (requiring that the first-order derivative w.r.t. weights are zero) gives us the OLS solution for model weights \(\beta\) analytically (in matrix notation):

\[ \begin{equation} \label{eq:ols} \hat{\beta} = (X'X)^{-1}X'Y. \end{equation} \]

Let’s consider a toy model with only one non-constant feature:

\[ y_i = 6 + 4x_i + \epsilon_i. \]

In this model the outcome \(y\) is determined by a bias term plus a single variable \(x\), with an independently distributed noise term \(\epsilon \sim \mbox{Normal}(0, 1)\).

Create some random data generated from this model:

Without consideration of the noise term, the OLS estimator will solve precisely for the true model weights:

Of course in the real world the noise term cannot be determined and usually the feature alone cannot explain entirely the variation in the outcome. This means that what we actually estimate will be the expected value of model weights:

We can check the result from sklearn:

By the Law of Large Number and Central Limit Theorem, the OLS estimator will converge in probability to the true model weights and distributed asymptotically Normal in large sample.1

The issue of the above approach is that equation \(\eqref{eq:ols}\) is not numerically stable when it comes to large-scale application where we may have lots of observations and lots of features. One very useful solution to solve the estimator numerically in large-scale application is the gradient descent approach.

1.1.2 Gradient Descent with Mean Squared Error

Instead of solving the first-order condition analytically, we can do it numerically. Gradient descent is a 1st-order optimization technique to find local optimum of a given function.

In the model training exercise our target function is the loss so the optimization problem is:

\[ \operatorname*{argmin}_\beta \mbox{Loss} = \frac{1}{N}\sum_i(y_i - \beta x_i)^2. \]

That is, we’d like to figure out model weights that minimize the loss which is defined by the mean squared errors when the model is a regression model.

The idea of gradient descent is to

  1. Derive the functional form of the gradient of loss w.r.t. to all weights
  2. Initialize all model weights randomly
  3. Calculate the gradient value using the actual data and the current value of weights
  4. Update the weights by (partially) the amount of gradient just calculated
  5. Repeat 3 and 4 until the resulting gradients become small enough

Let’s use the toy example to actually implement a gradent descent optimizer from scratch. First we re-write the loss function explicitly with our setup of one coefficient with a constant (\(\beta = [\beta_0, \beta_1]\)):

\[ \mbox{Loss} = \frac{1}{N}\sum_i\big[y_i-(\beta_0 + \beta_1x_i)\big]^2. \]

Now the gradient (or equivalently the 1st-order derivative) w.r.t. to weights will be:

\[ \begin{aligned} \frac{\partial\mbox{Loss}}{\partial\beta_0} &= - \frac{2}{N}\sum_i \big[ y_i - (\beta_0 + \beta_1x_i) \big], \\ \frac{\partial\mbox{Loss}}{\partial\beta_1} &= - \frac{2}{N}\sum_i \big[ y_i - (\beta_0 + \beta_1x_i) \big]x_i. \end{aligned} \]

The corresponding python function can be coded as:

If we set the above equations to zero we can solve for \(\beta_0\) and \(\beta_1\) analytically and the solution will be exactly just equation \(\eqref{eq:ols}\). But as we just pointed out it suffers from numerical stability issue.

The minimum implementation of our gradient descent optimizer is just a few lines:

Training Steps    10 | Estimate: [1.17474197 2.12281056]
Training Steps    50 | Estimate: [3.87639887 3.20410217]
Training Steps   100 | Estimate: [5.24246911 3.71384968]
Training Steps   500 | Estimate: [6.01109585 3.96245836]
Training Steps  1000 | Estimate: [6.01132195 3.96247176]
Training Steps  3000 | Estimate: [6.01132196 3.96247175]

As we can see the result is approaching to our analytical solution as the number of steps grows.

On Learning Rate

Learning rate is a hyper-parameter for gradient descent optimizer. The gradient update to our model weights is scaled down by the learning rate to make sure convergence. Too large the learning rate will explode the gradient. Too small the learning rate will slow down the convergence and sometimes result in the optimizer trapped at local sub-optimum.

Let’s re-write our gradient descent optimizer to also track the loss from each training step. And we use the same initialization for a fair comparison.

Now we run the optimization with a variety of different learning rates. For illustration purpose we will only run a few steps.

The result suggests that a learning rate of 1 is too large for our problem. The gradient explodes which make our solution diverge. And a lower learning rate in general converges slower to the optimum. Number of examples used to calculate the gradient also will affect the convergence behavior. In general if the sample size is too small a smaller learning rate should be used to avoid gradient explosion.

This can be more clearly seen if we plot the trace of our training losses:

If the loss doesn’t decrease over training iteration, it is a signal that something is wrong with our model.

Unlike our toy implementation, in modern implementation of any numerical optimizer there will be a lot of techniques to do the best to avoid convergence failure. But it is the model developer’s responsibility to diagnose the training behavior before anything is delivered to the stakeholder. Checking the dynamics of loss is usually the first and quick step to examine whether the training task is functioning as expected.

Stocahstic Gradient Descent

The vanilla gradient descent optimizer we just implemented has one issue. Since for each update it needs to traverse over the entire dataset, it becomes too slow when it comes to large dataset.

Stochastic gradient descent is to overcome this issue. Instead of calculate the gradient using the entire dataset, we can use only one example per update. Each step will be less precise but statistically the final result should be consistent.

Here we introduce the term epoch: One epoch is for the optimizer to traverse the entire dataset once. Number of epochs can be considered as another hyper-parameter of a model.

Here comes the minimum SGD implementation:

SGD won’t be as precise as vanilla GD but for large scale application it can reduce considerable amount of computing time (sometimes from infeasible to feasible). In our simple problem indeed just 1 epoch can have a good approximation already.

The trace of (per-instance) loss for the first 500 updates:

Since the loss is calculated on a per-instance basis, it will fluctuate but with a decreasing trend if nothing went wrong about the optimization process.

In sklearn there are dedicated SGD classes for a variety of learning algorithms. For a linear regression model with SGD solver:

Batch Gradient Descent

To reduce the noise in SGD we can modify it by replacing 1 training example with a batch of examples in a single gradient update. Here’s such implementation of a batch gradient descent optimizer2:

For this simple problem batch size doesn’t have any important impact given enough number of training epochs:

Batch optimizer is currently the best practice of training neural networks in large scale application. The batch size depends on the actual application but usually ranges from 8 (mini) to 1024 (large).

1.2 Logistic Regression

A logistic regression models the outcome probablistically:

\[ \begin{equation} \label{eq:logit} P(Y = 1) = \frac{1}{1 + e^{-X\beta}}, \end{equation} \]

Here the sigmoid function \(s(t) = \frac{1}{1 + e^{-t}}\) is used to transform a real number into probability space \([0, 1]\).

We can interpret the model as a linear model in log-odds. Assuming Y is binary and take a value of 0 or 1, the odds of \(Y = 1\) is defined as \(\frac{P(Y = 1)}{P(Y = 0)} = \frac{P(Y = 1)}{1 - P(Y = 1)}\). We can re-arrange the logistic model equation:

\[ \begin{aligned} \ln \Bigg[ \frac{P(Y = 1)}{1 - P(Y = 1)} \Bigg] &= \ln \Bigg[ \frac{\frac{1}{1 + e^{-X\beta}}}{\frac{e^{-X\beta}}{1 + e^{-X\beta}}} \Bigg] \\ &= \ln(1 + e^{-X\beta}) - \ln e^{-X\beta}(1 + e^{-X\beta}) \\ &= \ln(1 + e^{-X\beta}) - \ln e^{-X\beta} - \ln(1 + e^{-X\beta}) \\ &= - \ln e^{-X\beta} \\ &= X\beta. \end{aligned} \]

That is, the model weights are linear in the log-odds of our target outcome.

When the probability is transformed into odds, the range is transformed from \([0,1]\) to \([0,\infty]\).

If we further transform odds to log-odds, the range is transformed from \([0,\infty]\) to \([-\infty,\infty]\).

Put it together is the effect of the sigmoid function:

1.2.1 Cross Entropy

How do we solve for the model weights \(\beta\) in equation \(\eqref{eq:logit}\)? In the linear regression model we solve for the weights by minimizing the mean squared error. In logistic regression model we need to define measurement for modeling error as well.

Put it differently, we’d like to calculate the distance between our predicted probability and the real event label distribution (called the empirical distribution). In information theory the cross entropy is used to measure the distance between two probability distribution.

The entropy of a discrete probability distribution is defined as:

\[ H(p) = - \sum_i p_i \log_2p_i, \]

where \(p_i\) is the probability for event \(i\). It measures the uncertainty of a stochastic event.

Take a coin flip event as example. We plot the entropy value at different value of coin bias (the probability of having a head instead of a tail.)

It is obvious that the entropy of this event is maximized when the probability of flipping a head is exactly 0.5. At this level the event has a highest level of uncertainty in a sense that it is the most difficult case to predict the outcome of a flip.

Now move on to cross entropy. Cross entropy between two discrete probability distribution \(p\) and \(q\) over the same support is defined as:

\[ H(p, q) = - \sum_i p_i \log_2q_i. \]

For our logistic regression model, distribution \(p\) is the empirical distribution (label distribution) and distribution \(q\) is our model predicted distribution. Denote \(q_i = P(y_i = 1)\) for the prediction of \(i\)-th example. The cross-entropy-loss of our model hence can be written as:

\[ \mbox{Cross-Entropy Loss} = - \frac{1}{N}\sum_i^N \bigg[ y_i\log_2q_i + (1 - y_i)\log_2(1 - q_i)\bigg], \]

where \(y_i \in \{0,1\}\) is the \(i\)-th binary training label and \(P(y_i = 1)\) the model prediction for the \(i\)-th example out of \(N\) total training examples. This is the mean value of cross entropy for each training example.

Since \(q_i = P(y_i = 1)\) is expressed by our model equation \(\eqref{eq:logit}\), now we can apply gradient descent to the loss function to find out the optimum model weights that minimize the cross-entropy loss.

1.2.2 Maximum Likelihood Estimator

Before we implement our optimizer for a logistic regression model, we demonstrate that minimizing cross entropy is indeed equivalent to maximizing data likelihood.

The data likelihood is just the product of all predicted probabilities for individual example, provided that they are independent.

\[ \mbox{likelihood} = \prod_i^N q_i^{y_i}(1 - q_i)^{1 - y_i}. \]

The maximum likelihood estimator will try to maximize the log of the likelihood, which is:

\[ \begin{aligned} \mbox{log-lik} &= \log_2 \prod_i^N q_i^{y_i}(1 - q_i)^{1 - y_i} \\ &= \sum_i^N \log_2 q_i^{y_i}(1 - q_i)^{1 - y_i} \\ &= \sum_i^N \bigg[ y_i\log_2 q_i + (1 - y_i)\log_2(1 - q_i) \bigg]. \end{aligned} \]

By taking the average as well, the negative log-likelihood is exactly the cross entropy.

Though we didn’t discuss this linkage in linear regression, if we assume the error term in the model is independently distributed Normally, the OLS solution to the model weights (equation \(\eqref{eq:ols}\)) is indeed also the MLE solution.

1.2.3 Gradient Descent with Log Loss

Now let’s also implement a batch gradient descent optimizer for a logistic regression model. We will use the same toy example and create additional random binary labels for this exercise.

The gradient function must be derived with respect to model weights. To simplify the math we replace log of base 2 with natural log (with no impact on the optimization), and we take advantage of the fact that the derivative of the sigmoid function is:3

\[ \begin{aligned} \frac{ds(t)}{dt} &= \frac{d\frac{1}{1 + e^{-t}}}{dt} \\ &= -(1 + e^{-t})^{-2} \cdot (- e^{-t}) \\ &= \frac{e^{-t}}{(1 + e^{-t})^2} \\ &= \frac{1}{1 + e^{-t}} \cdot \frac{e^{-t}}{1 + e^{-t}} \\ &= s(t) \cdot [1 - s(t)]. \end{aligned} \]

The gradient in our univariate model w.r.t. the bias term will be:4

\[ \begin{aligned} \frac{\partial\mbox{LogLoss}}{\partial\beta_0} &= - \frac{1}{N}\sum_i \bigg[ y_i\frac{\partial\ln q_i}{\partial\beta_0} + (1 - y_i)\frac{\partial\ln(1 - q_i)}{\partial\beta_0}\bigg] \\ &= - \frac{1}{N}\sum_i \bigg[ y_i\frac{1}{q_i}\frac{\partial q_i}{\partial\beta_0} + (1 - y_i)\frac{1}{1 - q_i}\frac{\partial(1 - q_i)}{\partial\beta_0}\bigg] \\ &= - \frac{1}{N}\sum_i \bigg[ y_i\frac{1}{q_i}\frac{\partial (\beta_0 + \beta_1x_i)}{\partial\beta_0}\frac{\partial q_i(t)}{\partial t} - (1 - y_i)\frac{1}{1 - q_i}\frac{\partial (\beta_0 + \beta_1x_i)}{\partial\beta_0}\frac{\partial q_i(t)}{\partial t}\bigg] \\ &= - \frac{1}{N}\sum_i \bigg[ y_i\frac{1}{q_i}q_i(1 - q_i) - (1 - y_i)\frac{1}{1 - q_i}q_i(1 - q_i)\bigg] \\ &= - \frac{1}{N}\sum_i \bigg[ y_i(1 - q_i) - (1 - y_i)q_i \bigg] \\ &= - \frac{1}{N}\sum_i (y_i - q_i). \end{aligned} \]

Similary for the weight:

\[ \frac{\partial\mbox{LogLoss}}{\partial\beta_1} = - \frac{1}{N}\sum_i (y_i - q_i)x_i. \]

Now the Python code for batch gradient descent with log-loss:

Comparing to linear regression, a logistic regression model is harder to converge. Since our naive implementation does not do convergence diagnostics, let’s use R’s built-in glm function which use Newton’s method (a 2nd-order optimizer utilizing not only 1st-order but also 2nd-order derivatives) to check the estimation result of our toy example:

Now increase both the learning rate and training epochs of our naive gradient descent optimizer:

Seems better.

Or we can use the Python package statsmodels (which also uses a 2nd-order optimizer by default) to check our result:

Or the sklearn result:

2 Automatic Differentiation

In the previous section we implement a simple gradient descent optimizer by manually derive the functional form of gradient on our own. This could be troublesome if our model becomes more and more complicated, as in the case of a deep neural net.

Automatci differentiation is a programming technique to calculate the gradient of any given function. One of the most popular library for this purpose is TensorFlow.

Let’s use tensorflow to implement our simple gradient descent optimizer again. But this time we will NOT explicitly derive the gradient function. Instead, we will only specify the target function which is just the loss function of our model.

import tensorflow as tf
tf.enable_eager_execution()

# Use tensor to represent our data.
# Note that we need to be very specific about dtype/shape of our tensors.
X_tf = tf.convert_to_tensor(X, dtype=tf.float32)
beta_tf = tf.reshape(tf.convert_to_tensor(beta, dtype=tf.float32), (2,1))
e_tf = tf.reshape(tf.convert_to_tensor(e, dtype=tf.float32), (N, 1))
y_tf = tf.matmul(X_tf, beta_tf) + e_tf
y2_tf = tf.reshape(tf.convert_to_tensor(y2, dtype=tf.float32), (N, 1))

def loss_mse_tf(X, y, beta):
  y_hat = tf.matmul(X, beta)
  return tf.reduce_mean(input_tensor = (y_hat - y)**2)

def logloss_tf_bad(X, y, beta):
  # This can suffer from numerical stability issue.
  logloss_pos = y * tf.log(tf.sigmoid(tf.matmul(X, beta)))
  logloss_neg = (1 - y) * tf.log(1 - tf.sigmoid(tf.matmul(X, beta)))
  return - tf.reduce_mean(logloss_pos + logloss_neg)

def logloss_tf(X, y, beta):
  # tf.sigmoid is not numerically stable.
  # But there is a convenient function to do the cross entropy calculation stably.
  s = tf.nn.sigmoid_cross_entropy_with_logits(labels=y, logits=tf.matmul(X, beta))
  return tf.reduce_mean(s)

def gd_optimize_tf(X, y, loss_func, lr=.01, n_step=100):
  grad_func_tf = tf.contrib.eager.gradients_function(loss_func, params=[2])
  beta = tf.random_normal((2, 1))
  for step in range(n_step):
    grad = grad_func_tf(X, y, beta)[0]
    beta -= lr * grad
  return beta.numpy()

# For the MSE loss problem.
print(gd_optimize_tf(X_tf, y_tf, loss_func=loss_mse_tf, n_step=3000))

# For the cross entropy loss problem.
print(gd_optimize_tf(X_tf, y2_tf, loss_func=logloss_tf, lr=.5, n_step=5000))

In the above coding example one should realize that we no longer need to hardcode the functional form of the gradients. Instead we just plug-in the loss function and let tensorflow to do the gradient calculation for us.

Of course in actual development we will use higher-level APIs to implement our model, where the entire optimization process is abstracted away from the application code.

3 Neural Networks

Both linear regression and logistic regression can be considered as simple additive model of the form:

\[ \hat{y} = \Phi\bigg(\sum_{i=1}^Pw_ix_i\bigg), \]

where \(P\) is the number of features used, \(x_i\) is the \(i\)-th feature, and \(\Phi(\cdot)\) is a function applied to the output. In linear regression \(\Phi(\cdot)\) is simply an identity function. In logistic regression \(\Phi(\cdot)\) is the standard sigmoid function.

Now consider there is a way to ensemble multiple such additive models together to generate a potentially better and more sophisticated model. We use the following diagram for illustration.

In the above diagram, \(Y_{11}\) is a single additive model

\[ Y_{11} = \Phi(W_{111}X_1 + W_{211}X_2 + W_{311}X_3). \]

Similarly \(Y_{12}\) is another such model (with the same input feature set but different model weights)

\[ Y_{12} = \Phi(W_{112}X_1 + W_{212}X_2 + W_{312}X_3). \]

Model \(Y_2\) is yet another additive model but takes the output of the above two models:

\[ Y_2 = \Phi(W_{1121}Y_{11} + W_{1221}Y_{12}). \]

The above setup is a simple architecture of a neural network model, with only one hidden layer of two neurons. (We also ignore the constant/bias term in each layer for simplicity.) A neuron is simply an additive model with a so-called activation function \(\Phi(\cdot)\) to transform the output from any real number into a scaled signal.

One now can easily realize that a logistic regression model could be viewed as a degenerated neural network model with single neuron and using sigmoid as the activation function. And a linear regression model is a degenerated neural network model with single neuron and without an activation function.

3.1 Activation Function

Why do we need the activation function? In the above neural network model in the absence of activation function the final output model \(Y_2\) will degenerate into a simple linear model. We can use simpler notations to demonstrate this:

\[ \begin{aligned} y_1 &= ax + b, \\ y_2 &= cx + d, \\ y_3 &= e + fy_1 + gy_2 \\ &= e + f(ax + b) + g(cx + d) \\ &= \underbrace{(e + fb + gd)}_\text{Bias} + \underbrace{(fa + gc)}_\text{Weight}x. \end{aligned} \]

Without activation function, no matter how many neurons or layers we design for our model, it eventually reduces to a simple linear model. With the activation function applied to each neuron, the model becomes non-linear and hence can handle much more complicated patterns hidden behind the data.

Some popular activation functions:

3.2 Backpropagation

To solve for model weights in a neural network, we use a technique called backpropagation which is essentially an iterative process of gradient descent.

To simplify notation we assume each neuron is simply a univariate model. Consider the following minimum architecture:

Mathematically:

\[ \begin{aligned} \hat{y} &= \Phi(b_1 + w_1z) \\ &= \Phi(b_1 + w_1\Phi(b_0 + w_0x)), \end{aligned} \]

where

\[ z = \Phi(b_0 + w_0x), \]

and

\[ \Phi(t) = \frac{1}{1 + e^{-t}}. \]

3.2.1 MSE Loss

Though it may not be very meaningful to use MSE loss when the output layer is applied with an activation function, we can still do it for educational purpose.

\[ \mbox{MSE-Loss} = \frac{1}{N}\sum_i^N (y_i - \hat{y}_i)^2. \]

Firstly we take the derivative w.r.t. the weight in the last layer:

\[ \begin{aligned} \frac{\partial \mbox{MSE-Loss}}{\partial w_1} &= - \frac{1}{N}\sum_i (y_i - \hat{y}_i)\frac{\partial \hat{y}_i}{\partial w_1} \\ &= - \frac{1}{N}\sum_i (y_i - \hat{y}_i) \underbrace{ \frac{\partial t}{\partial w_1}\frac{\partial \Phi(t)}{\partial t} }_{t = b_1 + w_1\Phi(b_0 + w_0x)}\\ &= - \frac{1}{N}\sum_i (y_i - \hat{y}_i) \cdot \Phi(t)(1 - \Phi(t)) \cdot z_i. \end{aligned} \]

Similarly for the bias in the last layer:

\[ \frac{\partial \mbox{MSE-Loss}}{\partial b_1} = - \frac{1}{N}\sum_i (y_i - \hat{y}_i) \cdot \Phi(t)(1 - \Phi(t)). \]

Now move on to the bias and weight in the first layer:

\[ \begin{aligned} \frac{\partial \mbox{MSE-Loss}}{\partial w_0} &= - \frac{1}{N}\sum_i (y_i - \hat{y}_i)\frac{\partial \hat{y}_i}{\partial w_0} \\ &= - \frac{1}{N}\sum_i (y_i - \hat{y}_i) \underbrace{ \frac{\partial t}{\partial w_0}\frac{\partial \Phi(t)}{\partial t} }_{t = b_1 + w_1\Phi(b_0 + w_0x)}\\ &= - \frac{1}{N}\sum_i (y_i - \hat{y}_i) \cdot \Phi(t)(1 - \Phi(t)) \cdot \underbrace{ \Phi(k)(1 - \Phi(k)) }_{k = b_0 +w_0x} \cdot w_1 \cdot x_i, \\ \frac{\partial \mbox{MSE-Loss}}{\partial b_0} &= - \frac{1}{N}\sum_i (y_i - \hat{y}_i) \cdot \Phi(t)(1 - \Phi(t)) \cdot \Phi(k)(1 - \Phi(k)). \end{aligned} \]

One can clearly see there is a linkage between the derivative of the weights in consecutive layers:

\[ \begin{aligned} \frac{\partial \mbox{MSE-Loss}}{\partial w_1} &= - \frac{1}{N}\sum_i (y_i - \hat{y}_i) \cdot \Phi(t)(1 - \Phi(t)) \cdot z_i, \\ \frac{\partial \mbox{MSE-Loss}}{\partial w_0} &= - \frac{1}{N}\sum_i (y_i - \hat{y}_i) \cdot \underbrace{\Phi(t)(1 - \Phi(t))}_{\hat{y}_i(1 - \hat{y}_i)} \cdot \underbrace{\Phi(k)(1 - \Phi(k)) \cdot w_1 \cdot x_i}_{\frac{\partial w_1z}{\partial w_0} = \frac{\partial w_1\Phi(b0 + w_0x)}{\partial w_0}}. \end{aligned} \]

3.2.2 Cross-Entropy Loss

Similarly we can derive the gradients for cross-entropy loss.

\[ \begin{aligned} \mbox{LogLoss} &= - \frac{1}{N}\sum_i^N \bigg[ y_i\ln\hat{y}_i + (1 - y_i)\ln(1 - \hat{y}_i)\bigg], \\ \frac{\partial \mbox{LogLoss}}{\partial w_1} &= - \frac{1}{N} \sum_i (y_i - \hat{y}_i)z_i, \\ \frac{\partial \mbox{LogLoss}}{\partial w_0} &= - \frac{1}{N} \sum_i (y_i - \hat{y}_i)\Phi(k)(1 - \Phi(k))w_1x_i.\\ \end{aligned} \]

(Skip the bias terms to save space.)

Now let’s implement the simple neural network model in Python:

Here we will use the hello-world example of artificial neural network: The XOR problem. The XOR logical outcome, besides extremely simple, is not linearly separable. So it serves as a good example of showcasing neural networks’ non-linearity.

The input data is simply combination of two binary switches. (For completeness we also include a constant term which always evaluate to 1 as the first feature.) The output data is the XOR result.

Now let’s see if our simple neural network model can learn the XOR pattern.

For this simple example, both MSE and cross-entropy loss can work fine to figure out the XOR pattern. (Strictly speaking cross-entropy loss performs better.)

4 Regularization

Regularization is a technique to mitigate overfitting. It is not particular to neural networks but general to all machine learning models.

A regularization is a constraint added onto the original optimization problem (loss minimization). Consider model weights as a real vector, we usually use the norm of the vector to constraint its size in the optimization. The norm is a measure of size of a vector. The general idea is to add a penalty to the target function (which is a loss function) such that it discourages using large weights (which increase the size of vector) to achieve the minimization goal.

In general, a MSE loss minimization with a p-norm regularization for a linear model can be written (in matrix form) as:

\[ \begin{aligned} \hat{y} &= X\mathrm{B}, \\ \operatorname*{argmin}_\beta \mbox{Loss} &= \frac{1}{N}\bigg[ \underbrace{(y - X\mathrm{B})^T(y - X\mathrm{B})}_\text{sum of squared errors} + \underbrace{\lambda\Vert\mathrm{B}\Vert_{p}}_\text{p-norm regularization} \bigg], \end{aligned} \]

with a model weight vector \(\mathrm{B} = [\beta_1, \beta2, ..., \beta_k]\). The parameter \(\lambda\) is a new hyper-parameter introduced by the regularization.

Or put it in a scalar form:

\[ \operatorname*{argmin}_\beta \mbox{Loss} = \frac{1}{N}\sum_{i=1}^N\bigg( y_i - \mathrm{B}x_i\bigg)^2 + \frac{\lambda}{N}\bigg(\sum_{j=1}^k\vert\beta_j\vert^p\bigg)^{1/p}. \]

Popular choices of \(p\) is \(p = 1\) (L1-Norm) and \(p = 2\) (L2-Norm). Notably, \(p\) can be any non-integer real value and would have even better result than integer-norm. But their computational difficulty make them much less desirable in practice.

In practice, we also ignore the root in the norm for computational simplicity. So the problem indeed becomes

\[ \operatorname*{argmin}_\beta \mbox{Loss} = \frac{1}{N}\sum_{i=1}^N\bigg( y_i - \mathrm{B}x_i\bigg)^2 + \frac{\lambda}{N}\bigg(\sum_{j=1}^k\vert\beta_j\vert^p\bigg). \]

There is also a so-called elasticnet regularization which combines both L1 and L2 norms together to give potentially better result. However it requires a lot more computing resources and hence become much less feasible in a neural network model.

4.1 L2-Norm Regularization

The L2-Norm shrinks the size of model weights. Those who contribute less to loss minimization will shrink more.

Back to our univariate linear model \(\hat{y}_i = \beta_0 + \beta_1x_i\) for symolic simplicity. Our MSE loss is

\[ \mbox{MSE-Loss} = \frac{1}{N}\sum_i\big[y_i-(\beta_0 + \beta_1x_i)\big]^2 + \frac{\lambda}{N}(\beta_0^2 + \beta_1^2). \]

Since the penaty is additive, our gradient solution is extremely easy:

\[ \begin{aligned} \frac{\partial\mbox{MSE-Loss}}{\partial\beta_0} &= - \frac{2}{N}\sum_i \big[ y_i - (\beta_0 + \beta_1x_i) \big] + \frac{2}{N}\lambda\beta_0, \\ \frac{\partial\mbox{MSE-Loss}}{\partial\beta_1} &= - \frac{2}{N}\sum_i \big[ y_i - (\beta_0 + \beta_1x_i) \big]x_i + \frac{2}{N}\lambda\beta_1. \end{aligned} \]

A linear regression model with l2 regularization is referred to as the ridge regression. Be aware that in implementing the batch optimizer we need to scale down the update from l2 norm by the size of batch in order to balance the size of l2 norm and the original loss.

The resulting estimates are smaller than the vanilla gradient descent.

One thing worth noting is that when batch gradient descent is used along with regularization, a side effect exists due to the scaling of the batch size on the regularization term.

Experiments with different batch sizes with l2 regularization:

Let’s check the result using sklearn’s Ridge regressor (which doesn’t use gradient descent as its solver):

The result is closed to gradient descent with nearly a full-batch update (i.e., use the entire training data for one update).

Exactly the same logic can apply to logistic regression and is not discussed here to avoid redundancy.

4.2 L1-Norm Regularization

The L1-Norm prefers sparsity in the model weights. That is, it may zero out weights that are not contributing to the loss. While the L2-Norm only makes them arbitrarily small.

MSE loss with l1 norm:

\[ \mbox{MSE-Loss} = \frac{1}{N}\sum_i\big[y_i-(\beta_0 + \beta_1x_i)\big]^2 + \lambda(\vert\beta_0\vert + \vert\beta_1\vert), \]

with gradients:5

\[ \begin{aligned} \frac{\partial\mbox{MSE-Loss}}{\partial\beta_0} &= - \frac{2}{N}\sum_i \big[ y_i - (\beta_0 + \beta_1x_i) \big] + \lambda\frac{\beta_0}{\vert\beta_0\vert}, \\ \frac{\partial\mbox{MSE-Loss}}{\partial\beta_1} &= - \frac{2}{N}\sum_i \big[ y_i - (\beta_0 + \beta_1x_i) \big]x_i + \lambda\frac{\beta_1}{\vert\beta_1\vert}. \end{aligned} \]

A linear regression model with l1 regularization is referred to as the lasso regression. Let’s first check the result using sklearn’s Lasso regressor (which uses a coordinate descent solver):

To derive roughly the same result, we need to calibrate the coefficient on regularization in our gradient descent solver:

We can also check the consistency by calling sklearn’s SGDRegressor:

Now let’s purposely add one random feature as a noise into the design matrix and see how the regularization helps to shrink the weight of the noise.

As one can see, Lasso regressor is able to completely wipe out the weight on the redundant noise, while Ridge can only shrink it toward zero.

To arrive roughly at the same result of Ridge using our simple gradient descent solver:

And for the Lasso case:

One thing to note: It is in general difficult to arrive at sparse solution (0 weight) for a naive gradient descent implementation such as ours. Some further mathematical tricks like the proximal gradient metohd must be applied in order to produce sparse result under finite iterations.

Finally, again, exactly the same logic can apply to logistic regression and is not discussed further to avoid redundancy.

4.3 Geometric Interpretation of L1/L2 Regularization

4.4 Probabilistic Interpretation of L1/L2 Regularization

If we took a Bayesian approach on the weight estimation, then a Normal prior on the weight will result in a maximum a posteriori estimator to have a target function with the l2 regularization term, and a Laplacean prior will result in the l1 term.

Compared to a Normal prior, a Laplacean put much more density at the center. When both distribution is standardized (with location at 0 and scale at 1) as just plotted above, this can be interpreted as that a Laplacean prior has a stronger preference for a sparse solution (weight = 0).

4.5 Dropout

Another maybe easier way of regularization is the dropout mechanism. It is first introduced in a neural network model but can apply to some other machine learning algorithms as well (such as gradient boosting trees).


  1. One can try change the sample size arbitrarily to see the behavior of the estimator.

  2. Sometimes “mini-batch gradient descent” is used to describe SGD with batch size > 1. Here we ignore the redundant wording and just call it batch gradient descent.

  3. Here we use the common derivatives: \(\frac{df(x)^n}{dx} = nf(x)^{n-1}f'(x)\) and \(\frac{de^{f(x)}}{dx} = f'(x)e^{f(x)}.\)

  4. Here we use the common derivative \(\frac{d\ln f(x)}{dx} = \frac{f'(x)}{f(x)}\) and the chain rule to handle the term \(\frac{\partial\ln q_i}{\partial\beta_0}\) where \(q_i\) is the sigmoid computed for the \(i\)-th example.

  5. Note that the derivative \(\frac{du}{dx} = \frac{u}{\vert u \vert}\frac{du}{dx}\) at \(u = 0\) is undefined.

LS0tCnRpdGxlOiAiTmV1cmFsIE5ldHdvcmtzIEZ1bmRhbWVudGFscyIKc3VidGl0bGU6ICJ3aXRoIEV4YW1wbGVzIHVzaW5nIFB5dGhvbiIKYXV0aG9yOgotIG5hbWU6IEt5bGUgQ2h1bmcKICBhZmZpbGlhdGlvbjoKZGF0ZTogImByIGZvcm1hdChTeXMudGltZSgpLCAnJWQgJUIgJVknKWAiCm91dHB1dDoKICBodG1sX25vdGVib29rOiAKICAgIG51bWJlcl9zZWN0aW9uczogeWVzCiAgICB0aGVtZTogZmxhdGx5CiAgICB0b2M6IHllcwogICAgaGlnaGxpZ2h0OiBweWdtZW50cwotLS0KPCEtLSBFbWJlZCBwbG90bHkgamF2YXNjcmlwdCBsaWJyYXJ5LgogIFRoZSBwcmV2aWV3IG9mIHBsb3RseSBvdXRwdXQgaW4gUlN0dWRpbyB3b24ndCB3b3JrCiAgc2luY2Ugd2UgZG9uJ3QgaW5jbHVkZSB0aGUgcGxvdGx5LmpzIGluIGVhY2ggaW5kaXZpZHVhbCBwbG90LgotLT4gCjxzY3JpcHQgc3JjPSJqcy9wbG90bHktbGF0ZXN0Lm1pbi5qcyI+PC9zY3JpcHQ+Cgo8IS0tRm9yIGVxdWF0aW9uIHJlZmVyZW5jZS4tLT4gCjxzY3JpcHQgdHlwZT0idGV4dC94LW1hdGhqYXgtY29uZmlnIj4KTWF0aEpheC5IdWIuQ29uZmlnKHsKICBUZVg6IHsgZXF1YXRpb25OdW1iZXJzOiB7IGF1dG9OdW1iZXI6ICJBTVMiIH0gfQp9KTsKPC9zY3JpcHQ+CgpgYGB7ciBzZXR1cCwgaW5jbHVkZT1GQUxTRX0KbGlicmFyeShyZXRpY3VsYXRlKQp1c2VfcHl0aG9uKFN5cy5nZXRlbnYoIlBZVEhPTl9QQVRIIiksIHJlcXVpcmVkPVRSVUUpCmBgYAoKIyBQcmVyZXF1aXNpdGVzCgpCZWZvcmUgd2UgZXZlbiBzdGFydCwKaXQgaXMgb2YgY3J1Y2lhbCBpbXBvcnRhbmNlIHRvIGZpcnN0IHVuZGVyc3RhbmQgZGVlcGx5IGxpbmVhciBhbmQgbG9naXN0aWMgcmVncmVzc2lvbi4KVGhpcyBpcyBiZWNhdXNlIChhcyB3ZSB3aWxsIHNlZSBpbiBsYXRlciBkaXNjdXNzaW9uKSB0aGV5IGFyZSB0aGUgdmVyeSBiYXNpYyBjb21wb25lbnRzIGluIGEgZ2VuZXJhbCBuZXVyYWwgbmV0d29yayBtb2RlbC4KCiMjIExpbmVhciBSZWdyZXNzaW9uCgpBIGxpbmVhciBtb2RlbCBjYW4gYmUgd3JpdHRlbiBpbiBhIG1hdHJpeCBmb3JtCgokJApZID0gWFxiZXRhICsgXGVwc2lsb24sCiQkCgp3aGVyZSAkWSQgaXMgdGhlIG91dHB1dCBvciBsYWJlbCB2ZWN0b3Igb2YgbGVuZ3RoICROJCAobnVtYmVyIG9mIG9ic2VydmF0aW9ucyksCiRYJCBpcyB0aGUgaW5wdXQgZmVhdHVyZSBtYXRyaXggKHJlZmVycmVkIHRvIGFzIHRoZSAqZGVzaWduIG1hdHJpeCogaW4gc3RhdGlzdGljcykgd2l0aCBkaW1lbnNpb24gJE4kIGJ5ICRQJCAobnVtYmVyIG9mIGZlYXR1cmVzKSwKJFxiZXRhJCBpcyB0aGUgbW9kZWwgd2VpZ2h0cy9jb2VmZmljaWVudHMgKGEgY29sdW1uIHZlY3RvciBvZiBsZW5ndGggJFAkKSBmb3Igd2hpY2ggd2UnZCBsaWtlIHRvIHNvbHZlLAokXGVwc2lsb24kIGlzIHRoZSBtb2RlbCByZXNpZHVhbCBvciBlcnJvciB2ZWN0b3IuCgojIyMgT3JkaW5hcnkgTGVhc3QgU3F1YXJlcwoKVGhlIGNsYXNzaWNhbCB3YXkgdG8gc29sdmUgZm9yICRcYmV0YSQgaXMgW29yZGluYXJ5IGxlYXN0IHNxdWFyZXNdKGh0dHBzOi8vZW4ud2lraXBlZGlhLm9yZy93aWtpL09yZGluYXJ5X2xlYXN0X3NxdWFyZXMpLgpUaGUgaWRlYSBvZiBPTFMgaXMgZmluZCBvdXQgdGhlIHdlaWdodHMgdGhhdCBtaW5pbWl6ZSB0aGUgbWVhbiBvZiBzcXVhcmVkIG1vZGVsIGVycm9yczoKCiQkClxiZWdpbnthbGlnbmVkfQpcbWJveHttc2UgKGxvc3MpfQomPSBcZnJhY3sxfXtOfVxzdW1faVxlcHNpbG9uXjJfaSBcXAomPSBcZnJhY3sxfXtOfVxzdW1faSh5X2kgLSBcYmV0YSB4X2kpXjIsClxlbmR7YWxpZ25lZH0KJCQKCndoZXJlICR5X2kkIGFuZCAkeF9pJCBpcyB0aGUgJGkkLXRoIG9ic2VydmF0aW9uLgpUaGUgZmlyc3Qtb3JkZXIgY29uZGl0aW9uIChyZXF1aXJpbmcgdGhhdCB0aGUgZmlyc3Qtb3JkZXIgZGVyaXZhdGl2ZSB3LnIudC4gd2VpZ2h0cyBhcmUgemVybykgZ2l2ZXMgdXMgdGhlIE9MUyBzb2x1dGlvbiBmb3IgbW9kZWwgd2VpZ2h0cyAkXGJldGEkIGFuYWx5dGljYWxseSAoaW4gbWF0cml4IG5vdGF0aW9uKToKCiQkClxiZWdpbntlcXVhdGlvbn0gXGxhYmVse2VxOm9sc30KXGhhdHtcYmV0YX0gPSAoWCdYKV57LTF9WCdZLgpcZW5ke2VxdWF0aW9ufQokJAoKYGBge3B5dGhvbiBsaW5lYXJfcmVnX29sc30KaW1wb3J0IG51bXB5IGFzIG5wCmZyb20gbnVtcHkubGluYWxnIGltcG9ydCBpbnYKCmRlZiBvbHMoWCwgeSk6CiAgICByZXR1cm4gaW52KFguVC5kb3QoWCkpLmRvdChYLlQpLmRvdCh5KQpgYGAKCkxldCdzIGNvbnNpZGVyIGEgdG95IG1vZGVsIHdpdGggb25seSBvbmUgbm9uLWNvbnN0YW50IGZlYXR1cmU6CgokJAp5X2kgPSA2ICsgNHhfaSArIFxlcHNpbG9uX2kuCiQkCgpJbiB0aGlzIG1vZGVsIHRoZSBvdXRjb21lICR5JCBpcyBkZXRlcm1pbmVkIGJ5IGEgYmlhcyB0ZXJtIHBsdXMgYSBzaW5nbGUgdmFyaWFibGUgJHgkLAp3aXRoIGFuIGluZGVwZW5kZW50bHkgZGlzdHJpYnV0ZWQgbm9pc2UgdGVybSAkXGVwc2lsb24gXHNpbSBcbWJveHtOb3JtYWx9KDAsIDEpJC4KCkNyZWF0ZSBzb21lIHJhbmRvbSBkYXRhIGdlbmVyYXRlZCBmcm9tIHRoaXMgbW9kZWw6CgpgYGB7cHl0aG9uIGxpbmVhcl9yZWdfdG95X2V4YW1wbGV9CiMgQ3JlYXRlIHRveSBleGFtcGxlLgpucC5yYW5kb20uc2VlZCg3NzcpCgpOID0gMTAwMApYID0gbnAuc3RhY2soW25wLm9uZXMoTiksIG5wLnJhbmRvbS5ub3JtYWwoc2l6ZT1OKV0sIGF4aXM9MSkKYmV0YSA9IG5wLmFycmF5KFs2LCA0XSwgZHR5cGU9bnAuZmxvYXQzMikgICMgVHJ1ZSBtb2RlbCB3ZWlnaHRzLgplID0gbnAucmFuZG9tLm5vcm1hbChzaXplPU4pCnkgPSBYLmRvdChiZXRhKSArIGUKCnByaW50KFhbOjEwXSkKYGBgCgpgYGB7cHl0aG9uIGxpbmVhcl9yZWdfcGxvdH0KZnJvbSBwbG90bHkub2ZmbGluZSBpbXBvcnQgcGxvdAppbXBvcnQgcGxvdGx5LmdyYXBoX29ianMgYXMgZ28KCmRlZiBwbG90X29mZmxpbmUoZGF0YSwgbGF5b3V0LCBvZmlsZSk6CiAgcCA9IHBsb3QoeyJkYXRhIjogZGF0YSwgImxheW91dCI6IGxheW91dH0sCiAgICAgICAgICAgZmlsZW5hbWU9b2ZpbGUsIGF1dG9fb3Blbj1GYWxzZSwgaW5jbHVkZV9wbG90bHlqcz1GYWxzZSkKICByZXR1cm4gcAoKb2ZpbGUgPSAicGxvdHMvdG95X3JlZy5odG1sIgpwID0gcGxvdF9vZmZsaW5lKAogIG9maWxlPW9maWxlLAogIGRhdGE9W2dvLlNjYXR0ZXIoeD1YWzosMV0sIHk9eSwgbW9kZT0ibWFya2VycyIpXSwKICBsYXlvdXQ9Z28uTGF5b3V0KHRpdGxlPSJEYXRhIEdlbmVyYXRlZCBmcm9tIFRveSBNb2RlbCIsCiAgICAgICAgICAgICAgICAgICB4YXhpcz1kaWN0KHRpdGxlPSJ4IiksCiAgICAgICAgICAgICAgICAgICB5YXhpcz1kaWN0KHRpdGxlPSJ5IikpKQpgYGAKCmBgYHtyLCBlY2hvPUZBTFNFfQpodG1sdG9vbHM6OmluY2x1ZGVIVE1MKHB5JG9maWxlKQpgYGAKCldpdGhvdXQgY29uc2lkZXJhdGlvbiBvZiB0aGUgbm9pc2UgdGVybSwKdGhlIE9MUyBlc3RpbWF0b3Igd2lsbCBzb2x2ZSBwcmVjaXNlbHkgZm9yIHRoZSB0cnVlIG1vZGVsIHdlaWdodHM6CgpgYGB7cHl0aG9uIGxpbmVhcl9yZWdfb2xzX2RldGVybWluaXN0aWN9CnByaW50KG9scyhYLCB5IC0gZSkpCmBgYAoKT2YgY291cnNlIGluIHRoZSByZWFsIHdvcmxkIHRoZSBub2lzZSB0ZXJtIGNhbm5vdCBiZSBkZXRlcm1pbmVkIGFuZCB1c3VhbGx5IHRoZSBmZWF0dXJlIGFsb25lIGNhbm5vdCBleHBsYWluIGVudGlyZWx5IHRoZSB2YXJpYXRpb24gaW4gdGhlIG91dGNvbWUuClRoaXMgbWVhbnMgdGhhdCB3aGF0IHdlIGFjdHVhbGx5IGVzdGltYXRlIHdpbGwgYmUgdGhlIGV4cGVjdGVkIHZhbHVlIG9mIG1vZGVsIHdlaWdodHM6CgpgYGB7cHl0aG9uIGxpbmVhcl9yZWdfb2xzX3dpdGhfZXBzaWxvbn0KcHJpbnQob2xzKFgsIHkpKQpgYGAKCldlIGNhbiBjaGVjayB0aGUgcmVzdWx0IGZyb20gW2Bza2xlYXJuYF0oaHR0cHM6Ly9zY2lraXQtbGVhcm4ub3JnLyk6CgpgYGB7cHl0aG9uIGxpbmVhcl9yZWdfc2tsZWFybn0KZnJvbSBza2xlYXJuLmxpbmVhcl9tb2RlbCBpbXBvcnQgTGluZWFyUmVncmVzc2lvbgojIFdlIHNldCBmaXRfaW50ZXJjZXB0PUZhbHNlIHNpbmNlIG91ciBkZXNpZ24gbWF0cml4IGFscmVhZHkgY29udGFpbnMgaW50ZXJjZXB0LgpwcmludChMaW5lYXJSZWdyZXNzaW9uKGZpdF9pbnRlcmNlcHQ9RmFsc2UpLmZpdChYLCB5KS5jb2VmXykKYGBgCgpCeSB0aGUgW0xhdyBvZiBMYXJnZSBOdW1iZXJdKGh0dHBzOi8vZW4ud2lraXBlZGlhLm9yZy93aWtpL0xhd19vZl9sYXJnZV9udW1iZXJzKSBhbmQgW0NlbnRyYWwgTGltaXQgVGhlb3JlbV0oaHR0cHM6Ly9lbi53aWtpcGVkaWEub3JnL3dpa2kvQ2VudHJhbF9saW1pdF90aGVvcmVtKSwKdGhlIE9MUyBlc3RpbWF0b3Igd2lsbCBjb252ZXJnZSBpbiBwcm9iYWJpbGl0eSB0byB0aGUgdHJ1ZSBtb2RlbCB3ZWlnaHRzIGFuZCBkaXN0cmlidXRlZCBhc3ltcHRvdGljYWxseSBOb3JtYWwgaW4gbGFyZ2Ugc2FtcGxlLl5bT25lIGNhbiB0cnkgY2hhbmdlIHRoZSBzYW1wbGUgc2l6ZSBhcmJpdHJhcmlseSB0byBzZWUgdGhlIGJlaGF2aW9yIG9mIHRoZSBlc3RpbWF0b3IuXQoKVGhlIGlzc3VlIG9mIHRoZSBhYm92ZSBhcHByb2FjaCBpcyB0aGF0IGVxdWF0aW9uICRcZXFyZWZ7ZXE6b2xzfSQgaXMgbm90IG51bWVyaWNhbGx5IHN0YWJsZSB3aGVuIGl0IGNvbWVzIHRvIGxhcmdlLXNjYWxlIGFwcGxpY2F0aW9uIHdoZXJlIHdlIG1heSBoYXZlIGxvdHMgb2Ygb2JzZXJ2YXRpb25zIGFuZCBsb3RzIG9mIGZlYXR1cmVzLgpPbmUgdmVyeSB1c2VmdWwgc29sdXRpb24gdG8gc29sdmUgdGhlIGVzdGltYXRvciBudW1lcmljYWxseSBpbiBsYXJnZS1zY2FsZSBhcHBsaWNhdGlvbiBpcyB0aGUgKmdyYWRpZW50IGRlc2NlbnQqIGFwcHJvYWNoLgoKIyMjIEdyYWRpZW50IERlc2NlbnQgd2l0aCBNZWFuIFNxdWFyZWQgRXJyb3IKCkluc3RlYWQgb2Ygc29sdmluZyB0aGUgZmlyc3Qtb3JkZXIgY29uZGl0aW9uIGFuYWx5dGljYWxseSwKd2UgY2FuIGRvIGl0IG51bWVyaWNhbGx5LgpHcmFkaWVudCBkZXNjZW50IGlzIGEgMXN0LW9yZGVyIG9wdGltaXphdGlvbiB0ZWNobmlxdWUgdG8gZmluZCBsb2NhbCBvcHRpbXVtIG9mIGEgZ2l2ZW4gZnVuY3Rpb24uCgpJbiB0aGUgbW9kZWwgdHJhaW5pbmcgZXhlcmNpc2Ugb3VyIHRhcmdldCBmdW5jdGlvbiBpcyB0aGUgbG9zcyBzbyB0aGUgb3B0aW1pemF0aW9uIHByb2JsZW0gaXM6CgokJApcb3BlcmF0b3JuYW1lKnthcmdtaW59X1xiZXRhIFxtYm94e0xvc3N9ID0gXGZyYWN7MX17Tn1cc3VtX2koeV9pIC0gXGJldGEgeF9pKV4yLgokJAoKVGhhdCBpcywKd2UnZCBsaWtlIHRvIGZpZ3VyZSBvdXQgbW9kZWwgd2VpZ2h0cyB0aGF0IG1pbmltaXplIHRoZSBsb3NzIHdoaWNoIGlzIGRlZmluZWQgYnkgdGhlIG1lYW4gc3F1YXJlZCBlcnJvcnMgd2hlbiB0aGUgbW9kZWwgaXMgYSByZWdyZXNzaW9uIG1vZGVsLgoKVGhlIGlkZWEgb2YgZ3JhZGllbnQgZGVzY2VudCBpcyB0bwoKMS4gRGVyaXZlIHRoZSBmdW5jdGlvbmFsIGZvcm0gb2YgdGhlIGdyYWRpZW50IG9mIGxvc3Mgdy5yLnQuIHRvIGFsbCB3ZWlnaHRzCjIuIEluaXRpYWxpemUgYWxsIG1vZGVsIHdlaWdodHMgcmFuZG9tbHkKMy4gQ2FsY3VsYXRlIHRoZSBncmFkaWVudCB2YWx1ZSB1c2luZyB0aGUgYWN0dWFsIGRhdGEgYW5kIHRoZSBjdXJyZW50IHZhbHVlIG9mIHdlaWdodHMKNC4gVXBkYXRlIHRoZSB3ZWlnaHRzIGJ5IChwYXJ0aWFsbHkpIHRoZSBhbW91bnQgb2YgZ3JhZGllbnQganVzdCBjYWxjdWxhdGVkCjUuIFJlcGVhdCAzIGFuZCA0IHVudGlsIHRoZSByZXN1bHRpbmcgZ3JhZGllbnRzIGJlY29tZSBzbWFsbCBlbm91Z2gKCkxldCdzIHVzZSB0aGUgdG95IGV4YW1wbGUgdG8gYWN0dWFsbHkgaW1wbGVtZW50IGEgZ3JhZGVudCBkZXNjZW50IG9wdGltaXplciBmcm9tIHNjcmF0Y2guCkZpcnN0IHdlIHJlLXdyaXRlIHRoZSBsb3NzIGZ1bmN0aW9uIGV4cGxpY2l0bHkgd2l0aCBvdXIgc2V0dXAgb2Ygb25lIGNvZWZmaWNpZW50IHdpdGggYSBjb25zdGFudCAoJFxiZXRhID0gW1xiZXRhXzAsIFxiZXRhXzFdJCk6CgokJApcbWJveHtMb3NzfSA9IFxmcmFjezF9e059XHN1bV9pXGJpZ1t5X2ktKFxiZXRhXzAgKyBcYmV0YV8xeF9pKVxiaWddXjIuCiQkCgpOb3cgdGhlIGdyYWRpZW50IChvciBlcXVpdmFsZW50bHkgdGhlIDFzdC1vcmRlciBkZXJpdmF0aXZlKSB3LnIudC4gdG8gd2VpZ2h0cyB3aWxsIGJlOgoKJCQKXGJlZ2lue2FsaWduZWR9ClxmcmFje1xwYXJ0aWFsXG1ib3h7TG9zc319e1xwYXJ0aWFsXGJldGFfMH0gCiY9IC0gXGZyYWN7Mn17Tn1cc3VtX2kgXGJpZ1sgeV9pIC0gKFxiZXRhXzAgKyBcYmV0YV8xeF9pKSBcYmlnXSwgXFwKXGZyYWN7XHBhcnRpYWxcbWJveHtMb3NzfX17XHBhcnRpYWxcYmV0YV8xfSAKJj0gLSBcZnJhY3syfXtOfVxzdW1faSBcYmlnWyB5X2kgLSAoXGJldGFfMCArIFxiZXRhXzF4X2kpIFxiaWddeF9pLgpcZW5ke2FsaWduZWR9CiQkCgpUaGUgY29ycmVzcG9uZGluZyBweXRob24gZnVuY3Rpb24gY2FuIGJlIGNvZGVkIGFzOgoKYGBge3B5dGhvbiBsaW5lYXJfcmVnX2dyYWRfZnVuY30KZGVmIGdyYWRfZnVuYyhYLCB5LCBiZXRhKToKICAiIiJDYWxjdWxhdGUgdmVjdG9yaXplZCBncmFkaWVudHMuIiIiCiAgcmV0dXJuIC0yICogKCh5IC0gWC5kb3QoYmV0YSkpLmRvdChYKSkgLyBYLnNoYXBlWzBdCmBgYAoKSWYgd2Ugc2V0IHRoZSBhYm92ZSBlcXVhdGlvbnMgdG8gemVybyB3ZSBjYW4gc29sdmUgZm9yICRcYmV0YV8wJCBhbmQgJFxiZXRhXzEkIGFuYWx5dGljYWxseSBhbmQgdGhlIHNvbHV0aW9uIHdpbGwgYmUgZXhhY3RseSBqdXN0IGVxdWF0aW9uICRcZXFyZWZ7ZXE6b2xzfSQuCkJ1dCBhcyB3ZSBqdXN0IHBvaW50ZWQgb3V0IGl0IHN1ZmZlcnMgZnJvbSBudW1lcmljYWwgc3RhYmlsaXR5IGlzc3VlLgoKVGhlIG1pbmltdW0gaW1wbGVtZW50YXRpb24gb2Ygb3VyIGdyYWRpZW50IGRlc2NlbnQgb3B0aW1pemVyIGlzIGp1c3QgYSBmZXcgbGluZXM6CgpgYGB7cHl0aG9uIGxpbmVhcl9yZWdfZ2R9CmRlZiBnZF9vcHRpbWl6ZShYLCB5LCBncmFkX2Z1bmMsIGxyPS4wMSwgbl9zdGVwPTEwMCk6CiAgYiA9IG5wLnJhbmRvbS5ub3JtYWwoc2l6ZT1YLnNoYXBlWzFdKQogIG91dCA9IGIuY29weSgpCiAgZm9yIHN0ZXAgaW4gcmFuZ2Uobl9zdGVwKToKICAgIGIgLT0gbHIgKiBncmFkX2Z1bmMoWCwgeSwgYikKICAgIG91dCA9IG5wLnJvd19zdGFjayhbb3V0LCBiXSkgICMgVHJhY2UgcmVzdWx0IG9mIGVhY2ggc3RlcC4KICByZXR1cm4gb3V0CgpiID0gZ2Rfb3B0aW1pemUoWCwgeSwgZ3JhZF9mdW5jLCBuX3N0ZXA9MzAwMCkKZm9yIHMgaW4gWzEwLCA1MCwgMTAwLCA1MDAsIDEwMDAsIDMwMDBdOgogIHByaW50KCJUcmFpbmluZyBTdGVwcyB7OjV9IHwgRXN0aW1hdGU6IHt9Ii5mb3JtYXQocywgYltzXSkpCmBgYAoKQXMgd2UgY2FuIHNlZSB0aGUgcmVzdWx0IGlzIGFwcHJvYWNoaW5nIHRvIG91ciBhbmFseXRpY2FsIHNvbHV0aW9uIGFzIHRoZSBudW1iZXIgb2Ygc3RlcHMgZ3Jvd3MuCgojIyMjIE9uIExlYXJuaW5nIFJhdGUgey19CgpMZWFybmluZyByYXRlIGlzIGEgaHlwZXItcGFyYW1ldGVyIGZvciBncmFkaWVudCBkZXNjZW50IG9wdGltaXplci4KVGhlIGdyYWRpZW50IHVwZGF0ZSB0byBvdXIgbW9kZWwgd2VpZ2h0cyBpcyBzY2FsZWQgZG93biBieSB0aGUgbGVhcm5pbmcgcmF0ZSB0byBtYWtlIHN1cmUgY29udmVyZ2VuY2UuClRvbyBsYXJnZSB0aGUgbGVhcm5pbmcgcmF0ZSB3aWxsIGV4cGxvZGUgdGhlIGdyYWRpZW50LgpUb28gc21hbGwgdGhlIGxlYXJuaW5nIHJhdGUgd2lsbCBzbG93IGRvd24gdGhlIGNvbnZlcmdlbmNlIGFuZCBzb21ldGltZXMgcmVzdWx0IGluIHRoZSBvcHRpbWl6ZXIgdHJhcHBlZCBhdCBsb2NhbCBzdWItb3B0aW11bS4KCkxldCdzIHJlLXdyaXRlIG91ciBncmFkaWVudCBkZXNjZW50IG9wdGltaXplciB0byBhbHNvIHRyYWNrIHRoZSBsb3NzIGZyb20gZWFjaCB0cmFpbmluZyBzdGVwLgpBbmQgd2UgdXNlIHRoZSBzYW1lIGluaXRpYWxpemF0aW9uIGZvciBhIGZhaXIgY29tcGFyaXNvbi4KCmBgYHtweXRob24gbGluZWFyX3JlZ19nZF93aXRoX2xvc3N9CmRlZiBsb3NzKFgsIHksIGJldGEpOgogIHJldHVybiAoKFguZG90KGJldGEpIC0geSkqKjIpLm1lYW4oKQoKZGVmIGdkX29wdGltaXplKFgsIHksIGdyYWRfZnVuYywgbHI9LjAxLCBuX3N0ZXA9MTAwKToKICBiID0gbnAuYXJyYXkoWzAuMCwgMC4wXSkKICBsID0gW2xvc3MoWCwgeSwgYildCiAgZm9yIHN0ZXAgaW4gcmFuZ2Uobl9zdGVwKToKICAgIGIgLT0gbHIqZ3JhZF9mdW5jKFgsIHksIGIpCiAgICBsLmFwcGVuZChsb3NzKFgsIHksIGIpKQogIHJldHVybiBiLCBsCmBgYAoKTm93IHdlIHJ1biB0aGUgb3B0aW1pemF0aW9uIHdpdGggYSB2YXJpZXR5IG9mIGRpZmZlcmVudCBsZWFybmluZyByYXRlcy4KRm9yIGlsbHVzdHJhdGlvbiBwdXJwb3NlIHdlIHdpbGwgb25seSBydW4gYSBmZXcgc3RlcHMuCgpgYGB7cHl0aG9uIGxpbmVhcl9yZWdfZGlmZl9scn0KYmV0YXMgPSB7fQpsb3NzZXMgPSB7fQpmb3IgbHIgaW4gWy4wMDEsIC4wMSwgLjA1LCAuMSwgMV06CiAgYmV0YXNbbHJdLCBsb3NzZXNbbHJdID0gZ2Rfb3B0aW1pemUoWCwgeSwgZ3JhZF9mdW5jLCBscj1sciwgbl9zdGVwPTE1KQoKZm9yIHIsIGIgaW4gYmV0YXMuaXRlbXMoKToKICBwcmludCgiTGVhcm5pbmcgUmF0ZSB7OjV9IHwgRXN0aW1hdGU6IHt9Ii5mb3JtYXQociwgYikpCmBgYAoKVGhlIHJlc3VsdCBzdWdnZXN0cyB0aGF0IGEgbGVhcm5pbmcgcmF0ZSBvZiAxIGlzIHRvbyBsYXJnZSBmb3Igb3VyIHByb2JsZW0uClRoZSBncmFkaWVudCBleHBsb2RlcyB3aGljaCBtYWtlIG91ciBzb2x1dGlvbiBkaXZlcmdlLgpBbmQgYSBsb3dlciBsZWFybmluZyByYXRlIGluIGdlbmVyYWwgY29udmVyZ2VzIHNsb3dlciB0byB0aGUgb3B0aW11bS4KTnVtYmVyIG9mIGV4YW1wbGVzIHVzZWQgdG8gY2FsY3VsYXRlIHRoZSBncmFkaWVudCBhbHNvIHdpbGwgYWZmZWN0IHRoZSBjb252ZXJnZW5jZSBiZWhhdmlvci4KSW4gZ2VuZXJhbCBpZiB0aGUgc2FtcGxlIHNpemUgaXMgdG9vIHNtYWxsIGEgc21hbGxlciBsZWFybmluZyByYXRlIHNob3VsZCBiZSB1c2VkIHRvIGF2b2lkIGdyYWRpZW50IGV4cGxvc2lvbi4KClRoaXMgY2FuIGJlIG1vcmUgY2xlYXJseSBzZWVuIGlmIHdlIHBsb3QgdGhlIHRyYWNlIG9mIG91ciB0cmFpbmluZyBsb3NzZXM6CgpgYGB7cHl0aG9uIGxpbmVhcl9yZWdfZGlmZl9scl9wbG90fQpvZmlsZSA9ICJwbG90cy90b3lfcmVnX2xvc3NfY29tcGFyZS5odG1sIgpwZGF0YSA9IFtnby5TY2F0dGVyKHg9bnAuYXJhbmdlKGxlbihsb3NzZXNbbHJdKSksIHk9bG9zc2VzW2xyXSwgbmFtZT1scikgCiAgICAgICAgIGZvciBsciBpbiBsb3NzZXMua2V5cygpXQpwID0gcGxvdF9vZmZsaW5lKAogIG9maWxlPW9maWxlLAogIGRhdGE9cGRhdGEsCiAgbGF5b3V0PWdvLkxheW91dCgKICAgIHRpdGxlPSJUcmFjZSBvZiBUcmFpbmluZyBMb3NzIHdpdGggVmFyaW91cyBMZWFybmluZyBSYXRlcyIsCiAgICB4YXhpcz1kaWN0KHRpdGxlPSJTdGVwIiksCiAgICB5YXhpcz1kaWN0KHRpdGxlPSJMb3NzIikpKQpgYGAKCmBgYHtyLCBlY2hvPUZBTFNFfQpodG1sdG9vbHM6OmluY2x1ZGVIVE1MKHB5JG9maWxlKQpgYGAKCklmIHRoZSBsb3NzIGRvZXNuJ3QgZGVjcmVhc2Ugb3ZlciB0cmFpbmluZyBpdGVyYXRpb24sCml0IGlzIGEgc2lnbmFsIHRoYXQgc29tZXRoaW5nIGlzIHdyb25nIHdpdGggb3VyIG1vZGVsLgoKVW5saWtlIG91ciB0b3kgaW1wbGVtZW50YXRpb24sCmluIG1vZGVybiBpbXBsZW1lbnRhdGlvbiBvZiBhbnkgbnVtZXJpY2FsIG9wdGltaXplciB0aGVyZSB3aWxsIGJlIGEgbG90IG9mIHRlY2huaXF1ZXMgdG8gZG8gdGhlIGJlc3QgdG8gYXZvaWQgY29udmVyZ2VuY2UgZmFpbHVyZS4KQnV0IGl0IGlzIHRoZSBtb2RlbCBkZXZlbG9wZXIncyByZXNwb25zaWJpbGl0eSB0byBkaWFnbm9zZSB0aGUgdHJhaW5pbmcgYmVoYXZpb3IgYmVmb3JlIGFueXRoaW5nIGlzIGRlbGl2ZXJlZCB0byB0aGUgc3Rha2Vob2xkZXIuCkNoZWNraW5nIHRoZSBkeW5hbWljcyBvZiBsb3NzIGlzIHVzdWFsbHkgdGhlIGZpcnN0IGFuZCBxdWljayBzdGVwIHRvIGV4YW1pbmUgd2hldGhlciB0aGUgdHJhaW5pbmcgdGFzayBpcyBmdW5jdGlvbmluZyBhcyBleHBlY3RlZC4KCiMjIyMgU3RvY2Foc3RpYyBHcmFkaWVudCBEZXNjZW50IHstfQoKVGhlIHZhbmlsbGEgZ3JhZGllbnQgZGVzY2VudCBvcHRpbWl6ZXIgd2UganVzdCBpbXBsZW1lbnRlZCBoYXMgb25lIGlzc3VlLgpTaW5jZSBmb3IgZWFjaCB1cGRhdGUgaXQgbmVlZHMgdG8gdHJhdmVyc2Ugb3ZlciB0aGUgZW50aXJlIGRhdGFzZXQsCml0IGJlY29tZXMgdG9vIHNsb3cgd2hlbiBpdCBjb21lcyB0byBsYXJnZSBkYXRhc2V0LgoKU3RvY2hhc3RpYyBncmFkaWVudCBkZXNjZW50IGlzIHRvIG92ZXJjb21lIHRoaXMgaXNzdWUuCkluc3RlYWQgb2YgY2FsY3VsYXRlIHRoZSBncmFkaWVudCB1c2luZyB0aGUgZW50aXJlIGRhdGFzZXQsCndlIGNhbiB1c2Ugb25seSBvbmUgZXhhbXBsZSBwZXIgdXBkYXRlLgpFYWNoIHN0ZXAgd2lsbCBiZSBsZXNzIHByZWNpc2UgYnV0IHN0YXRpc3RpY2FsbHkgdGhlIGZpbmFsIHJlc3VsdCBzaG91bGQgYmUgY29uc2lzdGVudC4KCkhlcmUgd2UgaW50cm9kdWNlIHRoZSB0ZXJtICplcG9jaCo6Ck9uZSBlcG9jaCBpcyBmb3IgdGhlIG9wdGltaXplciB0byB0cmF2ZXJzZSB0aGUgZW50aXJlIGRhdGFzZXQgb25jZS4KTnVtYmVyIG9mIGVwb2NocyBjYW4gYmUgY29uc2lkZXJlZCBhcyBhbm90aGVyIGh5cGVyLXBhcmFtZXRlciBvZiBhIG1vZGVsLgoKSGVyZSBjb21lcyB0aGUgbWluaW11bSBTR0QgaW1wbGVtZW50YXRpb246CgpgYGB7cHl0aG9uIGxpbmVhcl9yZWdfc2dkfQpkZWYgc2dkX29wdGltaXplKFgsIHksIGdyYWRfZnVuYywgbHI9LjAxLCBuX2Vwb2NoPTEwKToKICBiID0gbnAucmFuZG9tLm5vcm1hbChzaXplPVguc2hhcGVbMV0pCiAgbCA9IFtsb3NzKFgsIHksIGIpXQogIG91dCA9IGIuY29weSgpCiAgZm9yIGVwb2NoIGluIHJhbmdlKG5fZXBvY2gpOgogICAgIyBTaHVmZmxlIHRoZSBkYXRhc2V0IGJlZm9yZSBlYWNoIGVwb2NoLgogICAgc2lkID0gbnAucmFuZG9tLnBlcm11dGF0aW9uKFguc2hhcGVbMF0pCiAgICBmb3IgaSBpbiBzaWQ6CiAgICAgIGIgLT0gbHIgKiBncmFkX2Z1bmMoWFtOb25lLGksOl0sIHlbaV0sIGIpCiAgICAgIGwuYXBwZW5kKGxvc3MoWFtOb25lLGksOl0sIHlbaV0sIGIpKQogICAgIyBUcmFjZSB0aGUgcmVzdWx0IHBlciBlcG9jaC4KICAgIG91dCA9IG5wLnJvd19zdGFjayhbb3V0LCBiXSkKICByZXR1cm4gb3V0LCBsCgpzZ2RfYmV0YSwgc2dkX2xvc3MgPSBzZ2Rfb3B0aW1pemUoWCwgeSwgZ3JhZF9mdW5jLCBscj0uMDEsIG5fZXBvY2g9MTAwKQpmb3IgZXBvY2ggaW4gWzEsIDUsIDEwLCA1MCwgMTAwXToKICBwcmludCgiVHJhaW5pbmcgRXBvY2hzIHs6NH0gfCBFc3RpbWF0ZToge30iLmZvcm1hdChlcG9jaCwgc2dkX2JldGFbZXBvY2hdKSkKYGBgCgpTR0Qgd29uJ3QgYmUgYXMgcHJlY2lzZSBhcyB2YW5pbGxhIEdEIGJ1dCBmb3IgbGFyZ2Ugc2NhbGUgYXBwbGljYXRpb24gaXQgY2FuIHJlZHVjZSBjb25zaWRlcmFibGUgYW1vdW50IG9mIGNvbXB1dGluZyB0aW1lIChzb21ldGltZXMgZnJvbSBpbmZlYXNpYmxlIHRvIGZlYXNpYmxlKS4KSW4gb3VyIHNpbXBsZSBwcm9ibGVtIGluZGVlZCBqdXN0IDEgZXBvY2ggY2FuIGhhdmUgYSBnb29kIGFwcHJveGltYXRpb24gYWxyZWFkeS4KClRoZSB0cmFjZSBvZiAocGVyLWluc3RhbmNlKSBsb3NzIGZvciB0aGUgZmlyc3QgNTAwIHVwZGF0ZXM6CgpgYGB7cHl0aG9uIGxpbmVhcl9yZWdfc2dkX3Bsb3R9Cm9maWxlID0gInBsb3RzL3RveV9yZWdfc2dkX2xvc3MuaHRtbCIKcCA9IHBsb3Rfb2ZmbGluZSgKICBvZmlsZT1vZmlsZSwKICBkYXRhPVtnby5TY2F0dGVyKHg9bnAuYXJhbmdlKGxlbihzZ2RfbG9zc1s6NTAwXSkpLCB5PXNnZF9sb3NzWzo1MDBdKV0sCiAgbGF5b3V0PWdvLkxheW91dCgKICAgIHRpdGxlPSJUcmFjZSBvZiBTR0QgVHJhaW5pbmcgTG9zcyIsCiAgICB4YXhpcz1kaWN0KHRpdGxlPSJTdGVwIiksCiAgICB5YXhpcz1kaWN0KHRpdGxlPSJMb3NzIikpKQpgYGAKCmBgYHtyLCBlY2hvPUZBTFNFfQpodG1sdG9vbHM6OmluY2x1ZGVIVE1MKHB5JG9maWxlKQpgYGAKClNpbmNlIHRoZSBsb3NzIGlzIGNhbGN1bGF0ZWQgb24gYSBwZXItaW5zdGFuY2UgYmFzaXMsCml0IHdpbGwgZmx1Y3R1YXRlIGJ1dCB3aXRoIGEgZGVjcmVhc2luZyB0cmVuZCBpZiBub3RoaW5nIHdlbnQgd3JvbmcgYWJvdXQgdGhlIG9wdGltaXphdGlvbiBwcm9jZXNzLgoKSW4gYHNrbGVhcm5gIHRoZXJlIGFyZSBkZWRpY2F0ZWQgU0dEIGNsYXNzZXMgZm9yIGEgdmFyaWV0eSBvZiBsZWFybmluZyBhbGdvcml0aG1zLgpGb3IgYSBsaW5lYXIgcmVncmVzc2lvbiBtb2RlbCB3aXRoIFNHRCBzb2x2ZXI6CgpgYGB7cHl0aG9uIGxpbmVhcl9yZWdfc2dkX3NrbGVhcm59CmZyb20gc2tsZWFybi5saW5lYXJfbW9kZWwgaW1wb3J0IFNHRFJlZ3Jlc3NvcgojIFR1cm4gb2ZmIHRoZSBkZWZhdWx0IGVsYXN0aWNuZXQgcmVndWxhcml6YXRpb24gZm9yIGNvbXBhcmlzb24uCnByaW50KFNHRFJlZ3Jlc3NvcihhbHBoYT0wLCBsMV9yYXRpbz0wLCBmaXRfaW50ZXJjZXB0PUZhbHNlKS5maXQoWCwgeSkuY29lZl8pCmBgYAoKIyMjIyBCYXRjaCBHcmFkaWVudCBEZXNjZW50IHstfQoKVG8gcmVkdWNlIHRoZSBub2lzZSBpbiBTR0Qgd2UgY2FuIG1vZGlmeSBpdCBieSByZXBsYWNpbmcgMSB0cmFpbmluZyBleGFtcGxlIHdpdGggYSBiYXRjaCBvZiBleGFtcGxlcyBpbiBhIHNpbmdsZSBncmFkaWVudCB1cGRhdGUuCkhlcmUncyBzdWNoIGltcGxlbWVudGF0aW9uIG9mIGEgYmF0Y2ggZ3JhZGllbnQgZGVzY2VudCBvcHRpbWl6ZXJeW1NvbWV0aW1lcyAibWluaS1iYXRjaCBncmFkaWVudCBkZXNjZW50IiBpcyB1c2VkIHRvIGRlc2NyaWJlIFNHRCB3aXRoIGJhdGNoIHNpemUgPiAxLiBIZXJlIHdlIGlnbm9yZSB0aGUgcmVkdW5kYW50IHdvcmRpbmcgYW5kIGp1c3QgY2FsbCBpdCBiYXRjaCBncmFkaWVudCBkZXNjZW50Ll06CgpgYGB7cHl0aG9uIGxpbmVhcl9yZWdfZ2RfYmF0Y2h9CmRlZiBnZF9iYXRjaF9vcHRpbWl6ZShYLCB5LCBncmFkX2Z1bmMsIGxyPS4wMSwgbl9lcG9jaD0xMCwgYmF0Y2hfc2l6ZT02NCk6CiAgYiA9IG5wLnJhbmRvbS5ub3JtYWwoc2l6ZT1YLnNoYXBlWzFdKQogIGwgPSBbbG9zcyhYLCB5LCBiKV0KICBmb3IgZXBvY2ggaW4gcmFuZ2Uobl9lcG9jaCk6CiAgICAjIFNodWZmbGUgdGhlIGRhdGFzZXQgYmVmb3JlIGVhY2ggZXBvY2guCiAgICBzaWQgPSBucC5yYW5kb20ucGVybXV0YXRpb24oWC5zaGFwZVswXSkKICAgIFhzID0gWFtzaWQsOl0KICAgIHlzID0geVtzaWRdCiAgICBpID0gMAogICAgbl9zdGVwID0gaW50KG5wLmNlaWwoWC5zaGFwZVswXSAvIGJhdGNoX3NpemUpKQogICAgZm9yIHN0ZXAgaW4gcmFuZ2Uobl9zdGVwKToKICAgICAgWGIgPSBYc1tpOmkrYmF0Y2hfc2l6ZSw6XQogICAgICB5YiA9IHlzW2k6aStiYXRjaF9zaXplXQogICAgICBiIC09IGxyKmdyYWRfZnVuYyhYYiwgeWIsIGIpCiAgICAgIGwuYXBwZW5kKGxvc3MoWGIsIHliLCBiKSkKICAgICAgaSArPSBiYXRjaF9zaXplCiAgcmV0dXJuIGIsIGwKCmJhdGNoX2JldGEsIGJhdGNoX2xvc3MgPSBnZF9iYXRjaF9vcHRpbWl6ZShYLCB5LCBncmFkX2Z1bmMsIG5fZXBvY2g9MTAwLCBiYXRjaF9zaXplPTY0KQpwcmludChiYXRjaF9iZXRhKQpgYGAKCkZvciB0aGlzIHNpbXBsZSBwcm9ibGVtIGJhdGNoIHNpemUgZG9lc24ndCBoYXZlIGFueSBpbXBvcnRhbnQgaW1wYWN0IGdpdmVuIGVub3VnaCBudW1iZXIgb2YgdHJhaW5pbmcgZXBvY2hzOgoKYGBge3B5dGhvbiBsaW5lYXJfcmVnX2dkX2RpZmZfYmF0Y2hfc2l6ZX0KZm9yIGJzaXplIGluIFs4LCAxNiwgMzIsIDY0LCAxMjgsIDI1Nl06CiAgcHJpbnQoIkJhdGNoIFNpemU6IHs6NH0gfCBFc3RpbWF0ZToge30iLmZvcm1hdCgKICAgIGJzaXplLAogICAgZ2RfYmF0Y2hfb3B0aW1pemUoWCwgeSwgZ3JhZF9mdW5jLCBuX2Vwb2NoPTEwMCwgYmF0Y2hfc2l6ZT1ic2l6ZSlbMF0pKQpgYGAKCkJhdGNoIG9wdGltaXplciBpcyBjdXJyZW50bHkgdGhlIGJlc3QgcHJhY3RpY2Ugb2YgdHJhaW5pbmcgbmV1cmFsIG5ldHdvcmtzIGluIGxhcmdlIHNjYWxlIGFwcGxpY2F0aW9uLgpUaGUgYmF0Y2ggc2l6ZSBkZXBlbmRzIG9uIHRoZSBhY3R1YWwgYXBwbGljYXRpb24gYnV0IHVzdWFsbHkgcmFuZ2VzIGZyb20gOCAobWluaSkgdG8gMTAyNCAobGFyZ2UpLgoKIyMgTG9naXN0aWMgUmVncmVzc2lvbgoKQSBsb2dpc3RpYyByZWdyZXNzaW9uIG1vZGVscyB0aGUgb3V0Y29tZSBwcm9iYWJsaXN0aWNhbGx5OgoKJCQKXGJlZ2lue2VxdWF0aW9ufSBcbGFiZWx7ZXE6bG9naXR9ClAoWSA9IDEpID0gXGZyYWN7MX17MSArIGVeey1YXGJldGF9fSwKXGVuZHtlcXVhdGlvbn0KJCQKCkhlcmUgdGhlIHNpZ21vaWQgZnVuY3Rpb24gJHModCkgPSBcZnJhY3sxfXsxICsgZV57LXR9fSQgaXMgdXNlZCB0byB0cmFuc2Zvcm0gYSByZWFsIG51bWJlciBpbnRvIHByb2JhYmlsaXR5IHNwYWNlICRbMCwgMV0kLgoKV2UgY2FuIGludGVycHJldCB0aGUgbW9kZWwgYXMgYSBsaW5lYXIgbW9kZWwgaW4gbG9nLW9kZHMuCkFzc3VtaW5nIFkgaXMgYmluYXJ5IGFuZCB0YWtlIGEgdmFsdWUgb2YgMCBvciAxLAp0aGUgb2RkcyBvZiAkWSA9IDEkIGlzIGRlZmluZWQgYXMgJFxmcmFje1AoWSA9IDEpfXtQKFkgPSAwKX0gPSBcZnJhY3tQKFkgPSAxKX17MSAtIFAoWSA9IDEpfSQuCldlIGNhbiByZS1hcnJhbmdlIHRoZSBsb2dpc3RpYyBtb2RlbCBlcXVhdGlvbjoKCiQkClxiZWdpbnthbGlnbmVkfQpcbG4gXEJpZ2dbIFxmcmFje1AoWSA9IDEpfXsxIC0gUChZID0gMSl9IFxCaWdnXSAKJj0gXGxuIFxCaWdnWyBcZnJhY3tcZnJhY3sxfXsxICsgZV57LVhcYmV0YX19fXtcZnJhY3tlXnstWFxiZXRhfX17MSArIGVeey1YXGJldGF9fX0gXEJpZ2ddIFxcCiY9IFxsbigxICsgZV57LVhcYmV0YX0pIC0gXGxuIGVeey1YXGJldGF9KDEgKyBlXnstWFxiZXRhfSkgXFwKJj0gXGxuKDEgKyBlXnstWFxiZXRhfSkgLSBcbG4gZV57LVhcYmV0YX0gLSBcbG4oMSArIGVeey1YXGJldGF9KSBcXAomPSAtIFxsbiBlXnstWFxiZXRhfSBcXAomPSBYXGJldGEuClxlbmR7YWxpZ25lZH0KJCQKClRoYXQgaXMsCnRoZSBtb2RlbCB3ZWlnaHRzIGFyZSBsaW5lYXIgaW4gdGhlIGxvZy1vZGRzIG9mIG91ciB0YXJnZXQgb3V0Y29tZS4KCldoZW4gdGhlIHByb2JhYmlsaXR5IGlzIHRyYW5zZm9ybWVkIGludG8gb2RkcywKdGhlIHJhbmdlIGlzIHRyYW5zZm9ybWVkIGZyb20gJFswLDFdJCB0byAkWzAsXGluZnR5XSQuCgpgYGB7cHl0aG9uIGxvZ2l0X3Byb2Jfb2Rkc19wbG90fQojIFdlIHBsb3Qgb25seSB1cCB0byAuOTUgc2luY2UgdGhlIHZhbHVlIG9mIG9kZHMgd2lsbCBncm93IHVuYm91bmRlZGx5Lgpwcm9iID0gbnAubGluc3BhY2UoLjAwMSwgLjk1LCBudW09MTAwKQpvZGRzID0gcHJvYiAvICgxIC0gcHJvYikKbG9nX29kZHMgPSBucC5sb2cob2RkcykKCm9maWxlID0gInBsb3RzL3Byb2Jfb2Rkcy5odG1sIgpwID0gcGxvdF9vZmZsaW5lKAogIG9maWxlPW9maWxlLAogIGRhdGE9W2dvLlNjYXR0ZXIoeD1wcm9iLCB5PW9kZHMpXSwKICBsYXlvdXQ9Z28uTGF5b3V0KAogICAgdGl0bGU9IkV2ZW50IFByb2JhYmlsaXRpZXMgdG8gT2RkcyIsCiAgICB4YXhpcz1kaWN0KHRpdGxlPSJQcm9iYWJpbGl0eSIpLAogICAgeWF4aXM9ZGljdCh0aXRsZT0iT2RkcyIpKSkKYGBgCgpgYGB7ciwgZWNobz1GQUxTRX0KaHRtbHRvb2xzOjppbmNsdWRlSFRNTChweSRvZmlsZSkKYGBgCgpJZiB3ZSBmdXJ0aGVyIHRyYW5zZm9ybSBvZGRzIHRvIGxvZy1vZGRzLAp0aGUgcmFuZ2UgaXMgdHJhbnNmb3JtZWQgZnJvbSAkWzAsXGluZnR5XSQgdG8gJFstXGluZnR5LFxpbmZ0eV0kLgoKYGBge3B5dGhvbiBsb2dpdF9vZGRzX2xvZ29kZHNfcGxvdH0Kb2ZpbGUgPSAicGxvdHMvcHJvYl9vZGRzLmh0bWwiCnAgPSBwbG90X29mZmxpbmUoCiAgb2ZpbGU9b2ZpbGUsCiAgZGF0YT1bZ28uU2NhdHRlcih4PW9kZHMsIHk9bG9nX29kZHMpXSwKICBsYXlvdXQ9Z28uTGF5b3V0KAogICAgdGl0bGU9IkV2ZW50IE9kZHMgdG8gTG9nLU9kZHMiLAogICAgeGF4aXM9ZGljdCh0aXRsZT0iT2RkcyIpLAogICAgeWF4aXM9ZGljdCh0aXRsZT0iTG9nLU9kZHMiKSkpCmBgYAoKYGBge3IsIGVjaG89RkFMU0V9Cmh0bWx0b29sczo6aW5jbHVkZUhUTUwocHkkb2ZpbGUpCmBgYAoKUHV0IGl0IHRvZ2V0aGVyIGlzIHRoZSBlZmZlY3Qgb2YgdGhlIHNpZ21vaWQgZnVuY3Rpb246CgpgYGB7cHl0aG9uIGxvZ2l0X3NpZ21vaWRfcGxvdH0KIyBOb3RlIHRoYXQgaW5zdGVhZCBvZiBjb2RpbmcgcyA9IDEgLyAoMSArIG5wLmV4cCgtdCkpLAojIHdoaWNoIGlzIG51bWVyaWNhbGx5IHVuc3RhYmxlLAojIHdlIHNob3VsZCB1c2UgYSBtYXRoIHRyaWNrIHRvIG1ha2UgaXQgc3RhYmxlLgpkZWYgc2lnbW9pZCh0KToKICAiIiJOdW1lcmljYWxseSBzdGFibGUgc2lnbW9pZC4iIiIKICByZXR1cm4gbnAuZXhwKC1ucC5sb2dhZGRleHAoMCwgLXQpKQoKdCA9IG5wLmxpbnNwYWNlKC0xMCwgMTAsIG51bT0xMDApCm9maWxlID0gInBsb3RzL3NpZ21vaWQuaHRtbCIKcCA9IHBsb3Rfb2ZmbGluZSgKICBvZmlsZT1vZmlsZSwKICBkYXRhPVtnby5TY2F0dGVyKHg9dCwgeT1zaWdtb2lkKHQpKV0sCiAgbGF5b3V0PWdvLkxheW91dCgKICAgIHRpdGxlPSJBIFNpZ21vaWQgRnVuY3Rpb24iLAogICAgeGF4aXM9ZGljdCh0aXRsZT0iUmF3IFZhbHVlIiksCiAgICB5YXhpcz1kaWN0KHRpdGxlPSJQcm9iYWJpbGl0eSIpKSkKYGBgCgpgYGB7ciwgZWNobz1GQUxTRX0KaHRtbHRvb2xzOjppbmNsdWRlSFRNTChweSRvZmlsZSkKYGBgCgojIyMgQ3Jvc3MgRW50cm9weQoKSG93IGRvIHdlIHNvbHZlIGZvciB0aGUgbW9kZWwgd2VpZ2h0cyAkXGJldGEkIGluIGVxdWF0aW9uICRcZXFyZWZ7ZXE6bG9naXR9JD8KSW4gdGhlIGxpbmVhciByZWdyZXNzaW9uIG1vZGVsIHdlIHNvbHZlIGZvciB0aGUgd2VpZ2h0cyBieSBtaW5pbWl6aW5nIHRoZSBtZWFuIHNxdWFyZWQgZXJyb3IuCkluIGxvZ2lzdGljIHJlZ3Jlc3Npb24gbW9kZWwgd2UgbmVlZCB0byBkZWZpbmUgbWVhc3VyZW1lbnQgZm9yIG1vZGVsaW5nIGVycm9yIGFzIHdlbGwuCgpQdXQgaXQgZGlmZmVyZW50bHksCndlJ2QgbGlrZSB0byBjYWxjdWxhdGUgdGhlIGRpc3RhbmNlIGJldHdlZW4gb3VyIHByZWRpY3RlZCBwcm9iYWJpbGl0eSBhbmQgdGhlIHJlYWwgZXZlbnQgbGFiZWwgZGlzdHJpYnV0aW9uIChjYWxsZWQgdGhlICplbXBpcmljYWwgZGlzdHJpYnV0aW9uKikuCkluIGluZm9ybWF0aW9uIHRoZW9yeSB0aGUgY3Jvc3MgZW50cm9weSBpcyB1c2VkIHRvIG1lYXN1cmUgdGhlIGRpc3RhbmNlIGJldHdlZW4gdHdvIHByb2JhYmlsaXR5IGRpc3RyaWJ1dGlvbi4KClRoZSBbZW50cm9weV0oaHR0cHM6Ly9lbi53aWtpcGVkaWEub3JnL3dpa2kvRW50cm9weV8oaW5mb3JtYXRpb25fdGhlb3J5KSkgb2YgYSBkaXNjcmV0ZSBwcm9iYWJpbGl0eSBkaXN0cmlidXRpb24gaXMgZGVmaW5lZCBhczoKCiQkCkgocCkgPSAtIFxzdW1faSBwX2kgXGxvZ18ycF9pLAokJAoKd2hlcmUgJHBfaSQgaXMgdGhlIHByb2JhYmlsaXR5IGZvciBldmVudCAkaSQuCkl0IG1lYXN1cmVzIHRoZSB1bmNlcnRhaW50eSBvZiBhIHN0b2NoYXN0aWMgZXZlbnQuCgpUYWtlIGEgY29pbiBmbGlwIGV2ZW50IGFzIGV4YW1wbGUuCldlIHBsb3QgdGhlIGVudHJvcHkgdmFsdWUgYXQgZGlmZmVyZW50IHZhbHVlIG9mIGNvaW4gYmlhcyAodGhlIHByb2JhYmlsaXR5IG9mIGhhdmluZyBhIGhlYWQgaW5zdGVhZCBvZiBhIHRhaWwuKQoKYGBge3B5dGhvbiBsb2dpdF9jb2luX2ZsaXBfZW50cm9weV9wbG90fQpkZWYgZW50cm9weV9iaW5hcnkocCk6CiAgcmV0dXJuIC1wKm5wLmxvZzIocCkgLSAoMSAtIHApKm5wLmxvZzIoMSAtIHApCiAgCnByb2IgPSBucC5saW5zcGFjZSguMDEsIC45OSwgbnVtPTEwMCkKCm9maWxlID0gInBsb3RzL2VudHJvcHkuaHRtbCIKcCA9IHBsb3Rfb2ZmbGluZSgKICBvZmlsZT1vZmlsZSwKICBkYXRhPVtnby5TY2F0dGVyKHg9cHJvYiwgeT1lbnRyb3B5X2JpbmFyeShwcm9iKSldLAogIGxheW91dD1nby5MYXlvdXQoCiAgICB0aXRsZT0iRW50cm9weSBvZiBhIEJpbmFyeSBFdmVudCAoQ29pbiBGbGlwKSIsCiAgICB4YXhpcz1kaWN0KHRpdGxlPSJQcm9iYWJpbGl0eSBvZiBhIEhlYWQiKSwKICAgIHlheGlzPWRpY3QodGl0bGU9IkVudHJvcHkiKSkpCmBgYAoKYGBge3IsIGVjaG89RkFMU0V9Cmh0bWx0b29sczo6aW5jbHVkZUhUTUwocHkkb2ZpbGUpCmBgYAoKSXQgaXMgb2J2aW91cyB0aGF0IHRoZSBlbnRyb3B5IG9mIHRoaXMgZXZlbnQgaXMgbWF4aW1pemVkIHdoZW4gdGhlIHByb2JhYmlsaXR5IG9mIGZsaXBwaW5nIGEgaGVhZCBpcyBleGFjdGx5IDAuNS4KQXQgdGhpcyBsZXZlbCB0aGUgZXZlbnQgaGFzIGEgaGlnaGVzdCBsZXZlbCBvZiB1bmNlcnRhaW50eSBpbiBhIHNlbnNlIHRoYXQgaXQgaXMgdGhlIG1vc3QgZGlmZmljdWx0IGNhc2UgdG8gcHJlZGljdCB0aGUgb3V0Y29tZSBvZiBhIGZsaXAuCgpOb3cgbW92ZSBvbiB0byBjcm9zcyBlbnRyb3B5LgpDcm9zcyBlbnRyb3B5IGJldHdlZW4gdHdvIGRpc2NyZXRlIHByb2JhYmlsaXR5IGRpc3RyaWJ1dGlvbiAkcCQgYW5kICRxJCBvdmVyIHRoZSBzYW1lIHN1cHBvcnQgaXMgZGVmaW5lZCBhczoKCiQkCkgocCwgcSkgPSAtIFxzdW1faSBwX2kgXGxvZ18ycV9pLgokJAoKRm9yIG91ciBsb2dpc3RpYyByZWdyZXNzaW9uIG1vZGVsLApkaXN0cmlidXRpb24gJHAkIGlzIHRoZSBlbXBpcmljYWwgZGlzdHJpYnV0aW9uIChsYWJlbCBkaXN0cmlidXRpb24pIGFuZCBkaXN0cmlidXRpb24gJHEkIGlzIG91ciBtb2RlbCBwcmVkaWN0ZWQgZGlzdHJpYnV0aW9uLgpEZW5vdGUgJHFfaSA9IFAoeV9pID0gMSkkIGZvciB0aGUgcHJlZGljdGlvbiBvZiAkaSQtdGggZXhhbXBsZS4KVGhlIGNyb3NzLWVudHJvcHktbG9zcyBvZiBvdXIgbW9kZWwgaGVuY2UgY2FuIGJlIHdyaXR0ZW4gYXM6CgokJApcbWJveHtDcm9zcy1FbnRyb3B5IExvc3N9ID0gLSBcZnJhY3sxfXtOfVxzdW1faV5OIFxiaWdnWyB5X2lcbG9nXzJxX2kgKyAoMSAtIHlfaSlcbG9nXzIoMSAtIHFfaSlcYmlnZ10sCiQkCgp3aGVyZSAkeV9pIFxpbiBcezAsMVx9JCBpcyB0aGUgJGkkLXRoIGJpbmFyeSB0cmFpbmluZyBsYWJlbCBhbmQgJFAoeV9pID0gMSkkIHRoZSBtb2RlbCBwcmVkaWN0aW9uIGZvciB0aGUgJGkkLXRoIGV4YW1wbGUgb3V0IG9mICROJCB0b3RhbCB0cmFpbmluZyBleGFtcGxlcy4KVGhpcyBpcyB0aGUgbWVhbiB2YWx1ZSBvZiBjcm9zcyBlbnRyb3B5IGZvciBlYWNoIHRyYWluaW5nIGV4YW1wbGUuCgpTaW5jZSAkcV9pID0gUCh5X2kgPSAxKSQgaXMgZXhwcmVzc2VkIGJ5IG91ciBtb2RlbCBlcXVhdGlvbiAkXGVxcmVme2VxOmxvZ2l0fSQsCm5vdyB3ZSBjYW4gYXBwbHkgZ3JhZGllbnQgZGVzY2VudCB0byB0aGUgbG9zcyBmdW5jdGlvbiB0byBmaW5kIG91dCB0aGUgb3B0aW11bSBtb2RlbCB3ZWlnaHRzIHRoYXQgbWluaW1pemUgdGhlIGNyb3NzLWVudHJvcHkgbG9zcy4KCiMjIyBNYXhpbXVtIExpa2VsaWhvb2QgRXN0aW1hdG9yCgpCZWZvcmUgd2UgaW1wbGVtZW50IG91ciBvcHRpbWl6ZXIgZm9yIGEgbG9naXN0aWMgcmVncmVzc2lvbiBtb2RlbCwKd2UgZGVtb25zdHJhdGUgdGhhdCBtaW5pbWl6aW5nIGNyb3NzIGVudHJvcHkgaXMgaW5kZWVkIGVxdWl2YWxlbnQgdG8gbWF4aW1pemluZyBkYXRhIGxpa2VsaWhvb2QuCgpUaGUgZGF0YSBsaWtlbGlob29kIGlzIGp1c3QgdGhlIHByb2R1Y3Qgb2YgYWxsIHByZWRpY3RlZCBwcm9iYWJpbGl0aWVzIGZvciBpbmRpdmlkdWFsIGV4YW1wbGUsCnByb3ZpZGVkIHRoYXQgdGhleSBhcmUgaW5kZXBlbmRlbnQuCgokJApcbWJveHtsaWtlbGlob29kfSA9IFxwcm9kX2leTiBxX2lee3lfaX0oMSAtIHFfaSleezEgLSB5X2l9LgokJAoKVGhlIG1heGltdW0gbGlrZWxpaG9vZCBlc3RpbWF0b3Igd2lsbCB0cnkgdG8gbWF4aW1pemUgdGhlIGxvZyBvZiB0aGUgbGlrZWxpaG9vZCwKd2hpY2ggaXM6CgokJApcYmVnaW57YWxpZ25lZH0KXG1ib3h7bG9nLWxpa30gCiY9IFxsb2dfMiBccHJvZF9pXk4gcV9pXnt5X2l9KDEgLSBxX2kpXnsxIC0geV9pfSBcXAomPSBcc3VtX2leTiBcbG9nXzIgcV9pXnt5X2l9KDEgLSBxX2kpXnsxIC0geV9pfSBcXAomPSBcc3VtX2leTiBcYmlnZ1sgeV9pXGxvZ18yIHFfaSArICgxIC0geV9pKVxsb2dfMigxIC0gcV9pKSBcYmlnZ10uClxlbmR7YWxpZ25lZH0KJCQKCkJ5IHRha2luZyB0aGUgYXZlcmFnZSBhcyB3ZWxsLAp0aGUgbmVnYXRpdmUgbG9nLWxpa2VsaWhvb2QgaXMgZXhhY3RseSB0aGUgY3Jvc3MgZW50cm9weS4KClRob3VnaCB3ZSBkaWRuJ3QgZGlzY3VzcyB0aGlzIGxpbmthZ2UgaW4gbGluZWFyIHJlZ3Jlc3Npb24sCmlmIHdlIGFzc3VtZSB0aGUgZXJyb3IgdGVybSBpbiB0aGUgbW9kZWwgaXMgaW5kZXBlbmRlbnRseSBkaXN0cmlidXRlZCBOb3JtYWxseSwKdGhlIE9MUyBzb2x1dGlvbiB0byB0aGUgbW9kZWwgd2VpZ2h0cyAoZXF1YXRpb24gJFxlcXJlZntlcTpvbHN9JCkgaXMgaW5kZWVkIGFsc28gdGhlIE1MRSBzb2x1dGlvbi4KCiMjIyBHcmFkaWVudCBEZXNjZW50IHdpdGggTG9nIExvc3MKCk5vdyBsZXQncyBhbHNvIGltcGxlbWVudCBhIGJhdGNoIGdyYWRpZW50IGRlc2NlbnQgb3B0aW1pemVyIGZvciBhIGxvZ2lzdGljIHJlZ3Jlc3Npb24gbW9kZWwuCldlIHdpbGwgdXNlIHRoZSBzYW1lIHRveSBleGFtcGxlIGFuZCBjcmVhdGUgYWRkaXRpb25hbCByYW5kb20gYmluYXJ5IGxhYmVscyBmb3IgdGhpcyBleGVyY2lzZS4KCmBgYHtweXRob24gbG9naXRfZmFrZV9kYXRhfQp5MiA9IG5wLmFycmF5KFtucC5yYW5kb20uYmlub21pYWwoMSwgdikgZm9yIHYgaW4gc2lnbW9pZChYLmRvdChiZXRhKSldKQpgYGAKClRoZSBncmFkaWVudCBmdW5jdGlvbiBtdXN0IGJlIGRlcml2ZWQgd2l0aCByZXNwZWN0IHRvIG1vZGVsIHdlaWdodHMuClRvIHNpbXBsaWZ5IHRoZSBtYXRoIHdlIHJlcGxhY2UgbG9nIG9mIGJhc2UgMiB3aXRoIG5hdHVyYWwgbG9nICh3aXRoIG5vIGltcGFjdCBvbiB0aGUgb3B0aW1pemF0aW9uKSwKYW5kIHdlIHRha2UgYWR2YW50YWdlIG9mIHRoZSBmYWN0IHRoYXQgdGhlIGRlcml2YXRpdmUgb2YgdGhlIHNpZ21vaWQgZnVuY3Rpb24gaXM6XltIZXJlIHdlIHVzZSB0aGUgY29tbW9uIGRlcml2YXRpdmVzOiAkXGZyYWN7ZGYoeClebn17ZHh9ID0gbmYoeClee24tMX1mJyh4KSQgYW5kICRcZnJhY3tkZV57Zih4KX19e2R4fSA9IGYnKHgpZV57Zih4KX0uJF0KCiQkClxiZWdpbnthbGlnbmVkfQpcZnJhY3tkcyh0KX17ZHR9CiY9IFxmcmFje2RcZnJhY3sxfXsxICsgZV57LXR9fX17ZHR9IFxcCiY9IC0oMSArIGVeey10fSleey0yfSBcY2RvdCAoLSBlXnstdH0pIFxcCiY9IFxmcmFje2Veey10fX17KDEgKyBlXnstdH0pXjJ9IFxcCiY9IFxmcmFjezF9ezEgKyBlXnstdH19IFxjZG90IFxmcmFje2Veey10fX17MSArIGVeey10fX0gXFwKJj0gcyh0KSBcY2RvdCBbMSAtIHModCldLgpcZW5ke2FsaWduZWR9CiQkCgpUaGUgZ3JhZGllbnQgaW4gb3VyIHVuaXZhcmlhdGUgbW9kZWwgdy5yLnQuIHRoZSBiaWFzIHRlcm0gd2lsbCBiZTpeW0hlcmUgd2UgdXNlIHRoZSBjb21tb24gZGVyaXZhdGl2ZSAkXGZyYWN7ZFxsbiBmKHgpfXtkeH0gPSBcZnJhY3tmJyh4KX17Zih4KX0kIGFuZCB0aGUgW2NoYWluIHJ1bGVdKGh0dHBzOi8vZW4ud2lraXBlZGlhLm9yZy93aWtpL0NoYWluX3J1bGUpIHRvIGhhbmRsZSB0aGUgdGVybSAkXGZyYWN7XHBhcnRpYWxcbG4gcV9pfXtccGFydGlhbFxiZXRhXzB9JCB3aGVyZSAkcV9pJCBpcyB0aGUgc2lnbW9pZCBjb21wdXRlZCBmb3IgdGhlICRpJC10aCBleGFtcGxlLl0KCiQkClxiZWdpbnthbGlnbmVkfQpcZnJhY3tccGFydGlhbFxtYm94e0xvZ0xvc3N9fXtccGFydGlhbFxiZXRhXzB9IAomPSAtIFxmcmFjezF9e059XHN1bV9pIFxiaWdnWyB5X2lcZnJhY3tccGFydGlhbFxsbiBxX2l9e1xwYXJ0aWFsXGJldGFfMH0gKyAKICAoMSAtIHlfaSlcZnJhY3tccGFydGlhbFxsbigxIC0gcV9pKX17XHBhcnRpYWxcYmV0YV8wfVxiaWdnXSBcXAomPSAtIFxmcmFjezF9e059XHN1bV9pIFxiaWdnWyB5X2lcZnJhY3sxfXtxX2l9XGZyYWN7XHBhcnRpYWwgcV9pfXtccGFydGlhbFxiZXRhXzB9ICsgCiAgKDEgLSB5X2kpXGZyYWN7MX17MSAtIHFfaX1cZnJhY3tccGFydGlhbCgxIC0gcV9pKX17XHBhcnRpYWxcYmV0YV8wfVxiaWdnXSBcXAomPSAtIFxmcmFjezF9e059XHN1bV9pIFxiaWdnWyB5X2lcZnJhY3sxfXtxX2l9XGZyYWN7XHBhcnRpYWwgKFxiZXRhXzAgKyBcYmV0YV8xeF9pKX17XHBhcnRpYWxcYmV0YV8wfVxmcmFje1xwYXJ0aWFsIHFfaSh0KX17XHBhcnRpYWwgdH0gLSAKICAoMSAtIHlfaSlcZnJhY3sxfXsxIC0gcV9pfVxmcmFje1xwYXJ0aWFsIChcYmV0YV8wICsgXGJldGFfMXhfaSl9e1xwYXJ0aWFsXGJldGFfMH1cZnJhY3tccGFydGlhbCBxX2kodCl9e1xwYXJ0aWFsIHR9XGJpZ2ddIFxcCiY9IC0gXGZyYWN7MX17Tn1cc3VtX2kgXGJpZ2dbIHlfaVxmcmFjezF9e3FfaX1xX2koMSAtIHFfaSkgLSAKICAoMSAtIHlfaSlcZnJhY3sxfXsxIC0gcV9pfXFfaSgxIC0gcV9pKVxiaWdnXSBcXAomPSAtIFxmcmFjezF9e059XHN1bV9pIFxiaWdnWyB5X2koMSAtIHFfaSkgLSAoMSAtIHlfaSlxX2kgXGJpZ2ddIFxcCiY9IC0gXGZyYWN7MX17Tn1cc3VtX2kgKHlfaSAtIHFfaSkuClxlbmR7YWxpZ25lZH0KJCQKClNpbWlsYXJ5IGZvciB0aGUgd2VpZ2h0OgoKJCQKXGZyYWN7XHBhcnRpYWxcbWJveHtMb2dMb3NzfX17XHBhcnRpYWxcYmV0YV8xfQo9IC0gXGZyYWN7MX17Tn1cc3VtX2kgKHlfaSAtIHFfaSl4X2kuCiQkCgpOb3cgdGhlIFB5dGhvbiBjb2RlIGZvciBiYXRjaCBncmFkaWVudCBkZXNjZW50IHdpdGggbG9nLWxvc3M6CgpgYGB7cHl0aG9uIGxvZ2l0X2dkfQpkZWYgbG9nbG9zcyhYLCB5LCBiKToKICBsb2dsb3NzX3BvcyA9IHkgKiBucC5sb2coc2lnbW9pZChYLmRvdChiKSkpCiAgbG9nbG9zc19uZWcgPSAoMSAtIHkpICogbnAubG9nKDEgLSBzaWdtb2lkKFguZG90KGIpKSkKICByZXR1cm4gLSAobG9nbG9zc19wb3MgKyBsb2dsb3NzX25lZykubWVhbigpCgpkZWYgbG9naXRfZ3JhZF9mdW5jKFgsIHksIGIpOgogIHJldHVybiAtICh5IC0gc2lnbW9pZChYLmRvdChiKSkpLmRvdChYKSAvIFguc2hhcGVbMF0KCmRlZiBjcm9zc19lbnRyb3B5X2dkX29wdGltaXplKFgsIHksIGxyPS4wMSwgbl9lcG9jaD0xMCwgYmF0Y2hfc2l6ZT02NCk6CiAgYiA9IG5wLnJhbmRvbS5ub3JtYWwoc2l6ZT1YLnNoYXBlWzFdKQogIGwgPSBbbG9nbG9zcyhYLCB5LCBiKV0KICBmb3IgZXBvY2ggaW4gcmFuZ2Uobl9lcG9jaCk6CiAgICAjIFNodWZmbGUgdGhlIGRhdGFzZXQgYmVmb3JlIGVhY2ggZXBvY2guCiAgICBzaWQgPSBucC5yYW5kb20ucGVybXV0YXRpb24oWC5zaGFwZVswXSkKICAgIFhzID0gWFtzaWQsOl0KICAgIHlzID0geVtzaWRdCiAgICBpID0gMAogICAgbl9zdGVwID0gaW50KG5wLmNlaWwoWC5zaGFwZVswXSAvIGJhdGNoX3NpemUpKQogICAgZm9yIHN0ZXAgaW4gcmFuZ2Uobl9zdGVwKToKICAgICAgWGIgPSBYc1tpOmkrYmF0Y2hfc2l6ZSw6XQogICAgICB5YiA9IHlzW2k6aStiYXRjaF9zaXplXQogICAgICBiIC09IGxyKmxvZ2l0X2dyYWRfZnVuYyhYYiwgeWIsIGIpCiAgICAgIGwuYXBwZW5kKGxvZ2xvc3MoWGIsIHliLCBiKSkKICAgICAgaSArPSBiYXRjaF9zaXplCiAgcmV0dXJuIGIsIGwKCmxvZ19iZXRhLCBsb2dfbG9zcyA9IGNyb3NzX2VudHJvcHlfZ2Rfb3B0aW1pemUoWCwgeTIsIGxyPS4wMSwgbl9lcG9jaD0xMDApCnByaW50KGxvZ19iZXRhKQpgYGAKCmBgYHtweXRob24gbG9naXRfbG9zc19wbG90fQpvZmlsZSA9ICJwbG90cy90b3lfbG9nX2xvc3MuaHRtbCIKcGRhdGEgPSBbZ28uU2NhdHRlcih4PW5wLmFyYW5nZShsZW4obG9nX2xvc3MpKSwgeT1sb2dfbG9zcyldCnAgPSBwbG90X29mZmxpbmUoCiAgb2ZpbGU9b2ZpbGUsCiAgZGF0YT1wZGF0YSwKICBsYXlvdXQ9Z28uTGF5b3V0KAogICAgdGl0bGU9IlRyYWNlIG9mIFRyYWluaW5nIExvZy1Mb3NzIiwKICAgIHhheGlzPWRpY3QodGl0bGU9IlN0ZXAiKSwKICAgIHlheGlzPWRpY3QodGl0bGU9Ikxvc3MiKSkpCmBgYAoKYGBge3IsIGVjaG89RkFMU0V9Cmh0bWx0b29sczo6aW5jbHVkZUhUTUwocHkkb2ZpbGUpCmBgYAoKQ29tcGFyaW5nIHRvIGxpbmVhciByZWdyZXNzaW9uLAphIGxvZ2lzdGljIHJlZ3Jlc3Npb24gbW9kZWwgaXMgaGFyZGVyIHRvIGNvbnZlcmdlLgpTaW5jZSBvdXIgbmFpdmUgaW1wbGVtZW50YXRpb24gZG9lcyBub3QgZG8gY29udmVyZ2VuY2UgZGlhZ25vc3RpY3MsCmxldCdzIHVzZSBSJ3MgYnVpbHQtaW4gYGdsbWAgZnVuY3Rpb24gd2hpY2ggdXNlIE5ld3RvbidzIG1ldGhvZCAoYSAybmQtb3JkZXIgb3B0aW1pemVyIHV0aWxpemluZyBub3Qgb25seSAxc3Qtb3JkZXIgYnV0IGFsc28gMm5kLW9yZGVyIGRlcml2YXRpdmVzKSB0byBjaGVjayB0aGUgZXN0aW1hdGlvbiByZXN1bHQgb2Ygb3VyIHRveSBleGFtcGxlOgoKYGBge3IgbG9naXRfY2hlY2tfc29sdXRpb259CiMgVGhpcyBpcyBSIGNvZGUuCmNvZWYoZ2xtKHkgfiB4LCBkYXRhPWRhdGEuZnJhbWUoeT1weSR5MiwgeD1weSRYWywyXSksIGZhbWlseT1iaW5vbWlhbCkpCmBgYAoKTm93IGluY3JlYXNlIGJvdGggdGhlIGxlYXJuaW5nIHJhdGUgYW5kIHRyYWluaW5nIGVwb2NocyBvZiBvdXIgbmFpdmUgZ3JhZGllbnQgZGVzY2VudCBvcHRpbWl6ZXI6CgpgYGB7cHl0aG9uIGxvZ2l0X2dkX21vcmV9CnByaW50KGNyb3NzX2VudHJvcHlfZ2Rfb3B0aW1pemUoWCwgeTIsIGxyPTEsIG5fZXBvY2g9MjAwKVswXSkKYGBgCgpTZWVtcyBiZXR0ZXIuCgpPciB3ZSBjYW4gdXNlIHRoZSBQeXRob24gcGFja2FnZSBgc3RhdHNtb2RlbHNgICh3aGljaCBhbHNvIHVzZXMgYSAybmQtb3JkZXIgb3B0aW1pemVyIGJ5IGRlZmF1bHQpIHRvIGNoZWNrIG91ciByZXN1bHQ6IAoKYGBge3B5dGhvbiBsb2dpdF9zdGF0c21vZGVsc30KaW1wb3J0IHN0YXRzbW9kZWxzLmFwaSBhcyBzbQpzbS5Mb2dpdCh5MiwgWCkuZml0KCkuc3VtbWFyeSgpCmBgYAoKT3IgdGhlIGBza2xlYXJuYCByZXN1bHQ6CgpgYGB7cHl0aG9uIGxvZ2l0X3NrbGVhcm59CmZyb20gc2tsZWFybi5saW5lYXJfbW9kZWwgaW1wb3J0IExvZ2lzdGljUmVncmVzc2lvbgojIFdlIG5lZWQgdG8gc2V0IHBhcmFtIEMgdG8gYW4gYXJiaXRyYXJpbHkgbGFyZ2UgbnVtYmVyIHRvIHN1cHByZXNzIHJlZ3VsYXJpemF0aW9uCiMgc2luY2Ugb3VyIG5haXZlIGFwcHJvYWNoIGRvZXNuJ3QgaW1wbGVtZW50IGFueSByZWd1bGFyaXphdGlvbi4KIyBXZSBzZXQgZml0X2ludGVyY2VwdD1GYWxzZSBzaW5jZSBvdXIgZGVzaWduIG1hdHJpeCBhbHJlYWR5IGNvbnRhaW5zIGludGVyY2VwdC4KcHJpbnQoTG9naXN0aWNSZWdyZXNzaW9uKEM9MWUxNiwgZml0X2ludGVyY2VwdD1GYWxzZSwgc29sdmVyPSJsaWJsaW5lYXIiKS5maXQoWCwgeTIpLmNvZWZfKQpgYGAKCiMgQXV0b21hdGljIERpZmZlcmVudGlhdGlvbgoKSW4gdGhlIHByZXZpb3VzIHNlY3Rpb24gd2UgaW1wbGVtZW50IGEgc2ltcGxlIGdyYWRpZW50IGRlc2NlbnQgb3B0aW1pemVyIGJ5IG1hbnVhbGx5IGRlcml2ZSB0aGUgZnVuY3Rpb25hbCBmb3JtIG9mIGdyYWRpZW50IG9uIG91ciBvd24uClRoaXMgY291bGQgYmUgdHJvdWJsZXNvbWUgaWYgb3VyIG1vZGVsIGJlY29tZXMgbW9yZSBhbmQgbW9yZSBjb21wbGljYXRlZCwKYXMgaW4gdGhlIGNhc2Ugb2YgYSBkZWVwIG5ldXJhbCBuZXQuCgpBdXRvbWF0Y2kgZGlmZmVyZW50aWF0aW9uIGlzIGEgcHJvZ3JhbW1pbmcgdGVjaG5pcXVlIHRvIGNhbGN1bGF0ZSB0aGUgZ3JhZGllbnQgb2YgYW55IGdpdmVuIGZ1bmN0aW9uLgpPbmUgb2YgdGhlIG1vc3QgcG9wdWxhciBsaWJyYXJ5IGZvciB0aGlzIHB1cnBvc2UgaXMgW1RlbnNvckZsb3ddKGh0dHBzOi8vZ2l0aHViLmNvbS90ZW5zb3JmbG93L3RlbnNvcmZsb3cpLgoKTGV0J3MgdXNlIGB0ZW5zb3JmbG93YCB0byBpbXBsZW1lbnQgb3VyIHNpbXBsZSBncmFkaWVudCBkZXNjZW50IG9wdGltaXplciBhZ2Fpbi4KQnV0IHRoaXMgdGltZSB3ZSB3aWxsIE5PVCBleHBsaWNpdGx5IGRlcml2ZSB0aGUgZ3JhZGllbnQgZnVuY3Rpb24uCkluc3RlYWQsCndlIHdpbGwgb25seSBzcGVjaWZ5IHRoZSB0YXJnZXQgZnVuY3Rpb24gd2hpY2ggaXMganVzdCB0aGUgbG9zcyBmdW5jdGlvbiBvZiBvdXIgbW9kZWwuCgpgYGB7cHl0aG9uIHRmX2FkfQppbXBvcnQgdGVuc29yZmxvdyBhcyB0Zgp0Zi5lbmFibGVfZWFnZXJfZXhlY3V0aW9uKCkKCiMgVXNlIHRlbnNvciB0byByZXByZXNlbnQgb3VyIGRhdGEuCiMgTm90ZSB0aGF0IHdlIG5lZWQgdG8gYmUgdmVyeSBzcGVjaWZpYyBhYm91dCBkdHlwZS9zaGFwZSBvZiBvdXIgdGVuc29ycy4KWF90ZiA9IHRmLmNvbnZlcnRfdG9fdGVuc29yKFgsIGR0eXBlPXRmLmZsb2F0MzIpCmJldGFfdGYgPSB0Zi5yZXNoYXBlKHRmLmNvbnZlcnRfdG9fdGVuc29yKGJldGEsIGR0eXBlPXRmLmZsb2F0MzIpLCAoMiwxKSkKZV90ZiA9IHRmLnJlc2hhcGUodGYuY29udmVydF90b190ZW5zb3IoZSwgZHR5cGU9dGYuZmxvYXQzMiksIChOLCAxKSkKeV90ZiA9IHRmLm1hdG11bChYX3RmLCBiZXRhX3RmKSArIGVfdGYKeTJfdGYgPSB0Zi5yZXNoYXBlKHRmLmNvbnZlcnRfdG9fdGVuc29yKHkyLCBkdHlwZT10Zi5mbG9hdDMyKSwgKE4sIDEpKQoKZGVmIGxvc3NfbXNlX3RmKFgsIHksIGJldGEpOgogIHlfaGF0ID0gdGYubWF0bXVsKFgsIGJldGEpCiAgcmV0dXJuIHRmLnJlZHVjZV9tZWFuKGlucHV0X3RlbnNvciA9ICh5X2hhdCAtIHkpKioyKQoKZGVmIGxvZ2xvc3NfdGZfYmFkKFgsIHksIGJldGEpOgogICMgVGhpcyBjYW4gc3VmZmVyIGZyb20gbnVtZXJpY2FsIHN0YWJpbGl0eSBpc3N1ZS4KICBsb2dsb3NzX3BvcyA9IHkgKiB0Zi5sb2codGYuc2lnbW9pZCh0Zi5tYXRtdWwoWCwgYmV0YSkpKQogIGxvZ2xvc3NfbmVnID0gKDEgLSB5KSAqIHRmLmxvZygxIC0gdGYuc2lnbW9pZCh0Zi5tYXRtdWwoWCwgYmV0YSkpKQogIHJldHVybiAtIHRmLnJlZHVjZV9tZWFuKGxvZ2xvc3NfcG9zICsgbG9nbG9zc19uZWcpCgpkZWYgbG9nbG9zc190ZihYLCB5LCBiZXRhKToKICAjIHRmLnNpZ21vaWQgaXMgbm90IG51bWVyaWNhbGx5IHN0YWJsZS4KICAjIEJ1dCB0aGVyZSBpcyBhIGNvbnZlbmllbnQgZnVuY3Rpb24gdG8gZG8gdGhlIGNyb3NzIGVudHJvcHkgY2FsY3VsYXRpb24gc3RhYmx5LgogIHMgPSB0Zi5ubi5zaWdtb2lkX2Nyb3NzX2VudHJvcHlfd2l0aF9sb2dpdHMobGFiZWxzPXksIGxvZ2l0cz10Zi5tYXRtdWwoWCwgYmV0YSkpCiAgcmV0dXJuIHRmLnJlZHVjZV9tZWFuKHMpCgpkZWYgZ2Rfb3B0aW1pemVfdGYoWCwgeSwgbG9zc19mdW5jLCBscj0uMDEsIG5fc3RlcD0xMDApOgogIGdyYWRfZnVuY190ZiA9IHRmLmNvbnRyaWIuZWFnZXIuZ3JhZGllbnRzX2Z1bmN0aW9uKGxvc3NfZnVuYywgcGFyYW1zPVsyXSkKICBiZXRhID0gdGYucmFuZG9tX25vcm1hbCgoMiwgMSkpCiAgZm9yIHN0ZXAgaW4gcmFuZ2Uobl9zdGVwKToKICAgIGdyYWQgPSBncmFkX2Z1bmNfdGYoWCwgeSwgYmV0YSlbMF0KICAgIGJldGEgLT0gbHIgKiBncmFkCiAgcmV0dXJuIGJldGEubnVtcHkoKQoKIyBGb3IgdGhlIE1TRSBsb3NzIHByb2JsZW0uCnByaW50KGdkX29wdGltaXplX3RmKFhfdGYsIHlfdGYsIGxvc3NfZnVuYz1sb3NzX21zZV90Ziwgbl9zdGVwPTMwMDApKQoKIyBGb3IgdGhlIGNyb3NzIGVudHJvcHkgbG9zcyBwcm9ibGVtLgpwcmludChnZF9vcHRpbWl6ZV90ZihYX3RmLCB5Ml90ZiwgbG9zc19mdW5jPWxvZ2xvc3NfdGYsIGxyPS41LCBuX3N0ZXA9NTAwMCkpCmBgYAoKSW4gdGhlIGFib3ZlIGNvZGluZyBleGFtcGxlIG9uZSBzaG91bGQgcmVhbGl6ZSB0aGF0IHdlIG5vIGxvbmdlciBuZWVkIHRvIGhhcmRjb2RlIHRoZSBmdW5jdGlvbmFsIGZvcm0gb2YgdGhlIGdyYWRpZW50cy4KSW5zdGVhZCB3ZSBqdXN0IHBsdWctaW4gdGhlIGxvc3MgZnVuY3Rpb24gYW5kIGxldCBgdGVuc29yZmxvd2AgdG8gZG8gdGhlIGdyYWRpZW50IGNhbGN1bGF0aW9uIGZvciB1cy4KCk9mIGNvdXJzZSBpbiBhY3R1YWwgZGV2ZWxvcG1lbnQgd2Ugd2lsbCB1c2UgaGlnaGVyLWxldmVsIEFQSXMgdG8gaW1wbGVtZW50IG91ciBtb2RlbCwKd2hlcmUgdGhlIGVudGlyZSBvcHRpbWl6YXRpb24gcHJvY2VzcyBpcyBhYnN0cmFjdGVkIGF3YXkgZnJvbSB0aGUgYXBwbGljYXRpb24gY29kZS4KCiMgTmV1cmFsIE5ldHdvcmtzCgpCb3RoIGxpbmVhciByZWdyZXNzaW9uIGFuZCBsb2dpc3RpYyByZWdyZXNzaW9uIGNhbiBiZSBjb25zaWRlcmVkIGFzIHNpbXBsZSBhZGRpdGl2ZSBtb2RlbCBvZiB0aGUgZm9ybToKCiQkClxoYXR7eX0gPSBcUGhpXGJpZ2coXHN1bV97aT0xfV5Qd19peF9pXGJpZ2cpLAokJAoKd2hlcmUgJFAkIGlzIHRoZSBudW1iZXIgb2YgZmVhdHVyZXMgdXNlZCwKJHhfaSQgaXMgdGhlICRpJC10aCBmZWF0dXJlLAphbmQgJFxQaGkoXGNkb3QpJCBpcyBhIGZ1bmN0aW9uIGFwcGxpZWQgdG8gdGhlIG91dHB1dC4KSW4gbGluZWFyIHJlZ3Jlc3Npb24gJFxQaGkoXGNkb3QpJCBpcyBzaW1wbHkgYW4gaWRlbnRpdHkgZnVuY3Rpb24uCkluIGxvZ2lzdGljIHJlZ3Jlc3Npb24gJFxQaGkoXGNkb3QpJCBpcyB0aGUgc3RhbmRhcmQgc2lnbW9pZCBmdW5jdGlvbi4KCk5vdyBjb25zaWRlciB0aGVyZSBpcyBhIHdheSB0byBlbnNlbWJsZSBtdWx0aXBsZSBzdWNoIGFkZGl0aXZlIG1vZGVscyB0b2dldGhlciB0byBnZW5lcmF0ZSBhIHBvdGVudGlhbGx5IGJldHRlciBhbmQgbW9yZSBzb3BoaXN0aWNhdGVkIG1vZGVsLgpXZSB1c2UgdGhlIGZvbGxvd2luZyBkaWFncmFtIGZvciBpbGx1c3RyYXRpb24uCgpgYGB7ciBubl9kaWFncmFtLCBlY2hvPUZBTFNFfQojIERyYXcgYSBzaW1wbGUgbmV1cmFsIG5ldHMuCkRpYWdyYW1tZVI6OmdyVml6KCIKZGlncmFwaCBzdWJzY3JpcHQgewoKICBncmFwaCBbbGF5b3V0ID0gZG90IHJhbmtkaXIgPSBMUiBvcmRlcmluZyA9IGluIHJhbmtzZXA9MiBzcGxpbmVzPXRydWVdCgogIG5vZGUgW3NoYXBlID0gY2lyY2xlXQoKICBzdWJncmFwaCBjbHVzdGVyX2lucHV0X2xheWVyIHsKICAgIGxhYmVsID0gJ0lucHV0IExheWVyJwogICAgeDEgW2xhYmVsID0gJ3hAX3sxfSddCiAgICB4MiBbbGFiZWwgPSAneEBfezJ9J10KICAgIHgzIFtsYWJlbCA9ICd4QF97M30nXQogIH0KCiAgc3ViZ3JhcGggY2x1c3Rlcl9oaWRkZW5fbGF5ZXIgewogICAgbGFiZWwgPSAnSGlkZGVuIExheWVyJwogICAgbjExIFtsYWJlbCA9ICd5QF97MTF9JyBjb2xvciA9IGJsdWUgZm9udGNvbG9yID0gYmx1ZV0KICAgIG4xMiBbbGFiZWwgPSAneUBfezEyfScgY29sb3IgPSBkYXJrZ3JlZW4gZm9udGNvbG9yID0gZGFya2dyZWVuXQogIH0KCiAgc3ViZ3JhcGggY2x1c3Rlcl9vdXRwdXRfbGF5ZXIgewogICAgbGFiZWwgPSAnT3V0cHV0IExheWVyJwogICAgbjIxIFtsYWJlbCA9ICd5QF97Mn0nXQogIH0KCiAgZWRnZSBbYXJyb3dzaXplID0gLjI1XQoKICB4MSAtPiBuMTEgW2xhYmVsID0gJ3dAX3sxMTF9JyBjb2xvciA9IGJsdWUgZm9udGNvbG9yID0gYmx1ZV0KICB4MSAtPiBuMTIgW2xhYmVsID0gJ3dAX3sxMTJ9JyBjb2xvciA9IGRhcmtncmVlbiBmb250Y29sb3IgPSBkYXJrZ3JlZW5dCgogIHgyIC0+IG4xMSBbbGFiZWwgPSAnd0BfezIxMX0nIGNvbG9yID0gYmx1ZSBmb250Y29sb3IgPSBibHVlXQogIHgyIC0+IG4xMiBbbGFiZWwgPSAnd0BfezIxMn0nIGNvbG9yID0gZGFya2dyZWVuIGZvbnRjb2xvciA9IGRhcmtncmVlbl0KCiAgeDMgLT4gbjExIFtsYWJlbCA9ICd3QF97MzExfScgY29sb3IgPSBibHVlIGZvbnRjb2xvciA9IGJsdWVdCiAgeDMgLT4gbjEyIFtsYWJlbCA9ICd3QF97MzEyfScgY29sb3IgPSBkYXJrZ3JlZW4gZm9udGNvbG9yID0gZGFya2dyZWVuXQoKICBuMTEgLT4gbjIxIFtsYWJlbCA9ICd3QF97MTEyMX0nXQogIG4xMiAtPiBuMjEgW2xhYmVsID0gJ3dAX3sxMjIxfSddCgp9IikKYGBgCgpJbiB0aGUgYWJvdmUgZGlhZ3JhbSwKJFlfezExfSQgaXMgYSBzaW5nbGUgYWRkaXRpdmUgbW9kZWwKCiQkCllfezExfSA9IFxQaGkoV197MTExfVhfMSArIFdfezIxMX1YXzIgKyBXX3szMTF9WF8zKS4KJCQKClNpbWlsYXJseSAkWV97MTJ9JCBpcyBhbm90aGVyIHN1Y2ggbW9kZWwgKHdpdGggdGhlIHNhbWUgaW5wdXQgZmVhdHVyZSBzZXQgYnV0IGRpZmZlcmVudCBtb2RlbCB3ZWlnaHRzKQoKJCQKWV97MTJ9ID0gXFBoaShXX3sxMTJ9WF8xICsgV197MjEyfVhfMiArIFdfezMxMn1YXzMpLgokJAoKTW9kZWwgJFlfMiQgaXMgeWV0IGFub3RoZXIgYWRkaXRpdmUgbW9kZWwgYnV0IHRha2VzIHRoZSBvdXRwdXQgb2YgdGhlIGFib3ZlIHR3byBtb2RlbHM6CgokJApZXzIgPSBcUGhpKFdfezExMjF9WV97MTF9ICsgV197MTIyMX1ZX3sxMn0pLgokJAoKVGhlIGFib3ZlIHNldHVwIGlzIGEgc2ltcGxlIGFyY2hpdGVjdHVyZSBvZiBhIG5ldXJhbCBuZXR3b3JrIG1vZGVsLAp3aXRoIG9ubHkgb25lIGhpZGRlbiBsYXllciBvZiB0d28gKm5ldXJvbnMqLgooV2UgYWxzbyBpZ25vcmUgdGhlIGNvbnN0YW50L2JpYXMgdGVybSBpbiBlYWNoIGxheWVyIGZvciBzaW1wbGljaXR5LikKQSBuZXVyb24gaXMgc2ltcGx5IGFuIGFkZGl0aXZlIG1vZGVsIHdpdGggYSBzby1jYWxsZWQgYWN0aXZhdGlvbiBmdW5jdGlvbiAkXFBoaShcY2RvdCkkIHRvIHRyYW5zZm9ybSB0aGUgb3V0cHV0IGZyb20gYW55IHJlYWwgbnVtYmVyIGludG8gYSBzY2FsZWQgc2lnbmFsLgoKT25lIG5vdyBjYW4gZWFzaWx5IHJlYWxpemUgdGhhdCBhIGxvZ2lzdGljIHJlZ3Jlc3Npb24gbW9kZWwgY291bGQgYmUgdmlld2VkIGFzIGEgZGVnZW5lcmF0ZWQgbmV1cmFsIG5ldHdvcmsgbW9kZWwgd2l0aCBzaW5nbGUgbmV1cm9uIGFuZCB1c2luZyBzaWdtb2lkIGFzIHRoZSBhY3RpdmF0aW9uIGZ1bmN0aW9uLgpBbmQgYSBsaW5lYXIgcmVncmVzc2lvbiBtb2RlbCBpcyBhIGRlZ2VuZXJhdGVkIG5ldXJhbCBuZXR3b3JrIG1vZGVsIHdpdGggc2luZ2xlIG5ldXJvbiBhbmQgd2l0aG91dCBhbiBhY3RpdmF0aW9uIGZ1bmN0aW9uLgoKIyMgQWN0aXZhdGlvbiBGdW5jdGlvbgoKV2h5IGRvIHdlIG5lZWQgdGhlIGFjdGl2YXRpb24gZnVuY3Rpb24/CkluIHRoZSBhYm92ZSBuZXVyYWwgbmV0d29yayBtb2RlbCBpbiB0aGUgYWJzZW5jZSBvZiBhY3RpdmF0aW9uIGZ1bmN0aW9uIHRoZSBmaW5hbCBvdXRwdXQgbW9kZWwgJFlfMiQgd2lsbCBkZWdlbmVyYXRlIGludG8gYSBzaW1wbGUgbGluZWFyIG1vZGVsLgpXZSBjYW4gdXNlIHNpbXBsZXIgbm90YXRpb25zIHRvIGRlbW9uc3RyYXRlIHRoaXM6CgokJApcYmVnaW57YWxpZ25lZH0KeV8xICY9IGF4ICsgYiwgXFwKeV8yICY9IGN4ICsgZCwgXFwKeV8zICY9IGUgKyBmeV8xICsgZ3lfMiBcXAomPSBlICsgZihheCArIGIpICsgZyhjeCArIGQpIFxcCiY9IFx1bmRlcmJyYWNleyhlICsgZmIgKyBnZCl9X1x0ZXh0e0JpYXN9ICsgXHVuZGVyYnJhY2V7KGZhICsgZ2MpfV9cdGV4dHtXZWlnaHR9eC4KXGVuZHthbGlnbmVkfQokJAoKV2l0aG91dCBhY3RpdmF0aW9uIGZ1bmN0aW9uLApubyBtYXR0ZXIgaG93IG1hbnkgbmV1cm9ucyBvciBsYXllcnMgd2UgZGVzaWduIGZvciBvdXIgbW9kZWwsCml0IGV2ZW50dWFsbHkgcmVkdWNlcyB0byBhIHNpbXBsZSBsaW5lYXIgbW9kZWwuCldpdGggdGhlIGFjdGl2YXRpb24gZnVuY3Rpb24gYXBwbGllZCB0byBlYWNoIG5ldXJvbiwKdGhlIG1vZGVsIGJlY29tZXMgKm5vbi1saW5lYXIqIGFuZCBoZW5jZSBjYW4gaGFuZGxlIG11Y2ggbW9yZSBjb21wbGljYXRlZCBwYXR0ZXJucyBoaWRkZW4gYmVoaW5kIHRoZSBkYXRhLgoKU29tZSBwb3B1bGFyIGFjdGl2YXRpb24gZnVuY3Rpb25zOgoKKyBbU2lnbW9pZCAoTG9naXN0aWMpXShodHRwczovL2VuLndpa2lwZWRpYS5vcmcvd2lraS9Mb2dpc3RpY19mdW5jdGlvbikKKyBbVGFuaCAoSHlwZXJib2xpYyBUYW5nZW50KV0oaHR0cHM6Ly9lbi53aWtpcGVkaWEub3JnL3dpa2kvSHlwZXJib2xpY19mdW5jdGlvbiNIeXBlcmJvbGljX3RhbmdlbnQpCisgW1JlTFUgKFJlY3RpZmllZCBMaW5lYXIgVW5pdCldKGh0dHBzOi8vZW4ud2lraXBlZGlhLm9yZy93aWtpL1JlY3RpZmllcl8obmV1cmFsX25ldHdvcmtzKSkKKyBTd2lzaDogJGYoeCkgPSB4IFxjZG90IFxtYm94e3NpZ21vaWR9KHgpJCwgcHJvcG9zZWQgYnkgW0dvb2dsZSBCcmFpbl0oaHR0cHM6Ly9haS5nb29nbGUvcmVzZWFyY2gvdGVhbXMvYnJhaW4vKQoKIyMgQmFja3Byb3BhZ2F0aW9uCgpUbyBzb2x2ZSBmb3IgbW9kZWwgd2VpZ2h0cyBpbiBhIG5ldXJhbCBuZXR3b3JrLAp3ZSB1c2UgYSB0ZWNobmlxdWUgY2FsbGVkIGJhY2twcm9wYWdhdGlvbiB3aGljaCBpcyBlc3NlbnRpYWxseSBhbiBpdGVyYXRpdmUgcHJvY2VzcyBvZiBncmFkaWVudCBkZXNjZW50LgoKVG8gc2ltcGxpZnkgbm90YXRpb24gd2UgYXNzdW1lIGVhY2ggbmV1cm9uIGlzIHNpbXBseSBhIHVuaXZhcmlhdGUgbW9kZWwuCkNvbnNpZGVyIHRoZSBmb2xsb3dpbmcgbWluaW11bSBhcmNoaXRlY3R1cmU6CgpgYGB7ciBzaW1wbGlmaWVkX25uX2RpYWdyYW0sIGVjaG89RkFMU0V9CkRpYWdyYW1tZVI6OmdyVml6KCIKZGlncmFwaCBzdWJzY3JpcHQgewoKICBncmFwaCBbbGF5b3V0ID0gZG90IHJhbmtkaXIgPSBMUiBvcmRlcmluZyA9IGluIHJhbmtzZXA9Ml0KCiAgbm9kZSBbc2hhcGUgPSBjaXJjbGVdCgogIHgwIFtsYWJlbCA9ICcxJ10KICB4MSBbbGFiZWwgPSAneCddCiAgejAgW2xhYmVsID0gJzEnXQogIHoxIFtsYWJlbCA9ICd6J10KICB5ICBbbGFiZWwgPSAneSddCgogIGVkZ2UgW2Fycm93c2l6ZSA9IC4yNV0KCiAgeDAgLT4gejEgW2xhYmVsID0gJ2JAX3swfSddCiAgeDEgLT4gejEgW2xhYmVsID0gJ3dAX3swfSddCiAgejAgLT4geSAgW2xhYmVsID0gJ2JAX3sxfSddCiAgejEgLT4geSAgW2xhYmVsID0gJ3dAX3sxfSddCgp9IikKYGBgCgpNYXRoZW1hdGljYWxseToKCiQkClxiZWdpbnthbGlnbmVkfQpcaGF0e3l9IAomPSBcUGhpKGJfMSArIHdfMXopIFxcCiY9IFxQaGkoYl8xICsgd18xXFBoaShiXzAgKyB3XzB4KSksClxlbmR7YWxpZ25lZH0KJCQKCndoZXJlCgokJAp6ID0gXFBoaShiXzAgKyB3XzB4KSwKJCQKCmFuZAoKJCQKXFBoaSh0KSA9IFxmcmFjezF9ezEgKyBlXnstdH19LgokJAoKIyMjIE1TRSBMb3NzCgpUaG91Z2ggaXQgbWF5IG5vdCBiZSB2ZXJ5IG1lYW5pbmdmdWwgdG8gdXNlIE1TRSBsb3NzIHdoZW4gdGhlIG91dHB1dCBsYXllciBpcyBhcHBsaWVkIHdpdGggYW4gYWN0aXZhdGlvbiBmdW5jdGlvbiwKd2UgY2FuIHN0aWxsIGRvIGl0IGZvciBlZHVjYXRpb25hbCBwdXJwb3NlLgoKJCQKXG1ib3h7TVNFLUxvc3N9ID0gXGZyYWN7MX17Tn1cc3VtX2leTiAgKHlfaSAtIFxoYXR7eX1faSleMi4KJCQKCkZpcnN0bHkgd2UgdGFrZSB0aGUgZGVyaXZhdGl2ZSB3LnIudC4gdGhlIHdlaWdodCBpbiB0aGUgbGFzdCBsYXllcjoKCiQkClxiZWdpbnthbGlnbmVkfQpcZnJhY3tccGFydGlhbCBcbWJveHtNU0UtTG9zc319e1xwYXJ0aWFsIHdfMX0KJj0gLSBcZnJhY3sxfXtOfVxzdW1faSAoeV9pIC0gXGhhdHt5fV9pKVxmcmFje1xwYXJ0aWFsIFxoYXR7eX1faX17XHBhcnRpYWwgd18xfSBcXAomPSAtIFxmcmFjezF9e059XHN1bV9pICh5X2kgLSBcaGF0e3l9X2kpClx1bmRlcmJyYWNleyAgXGZyYWN7XHBhcnRpYWwgdH17XHBhcnRpYWwgd18xfVxmcmFje1xwYXJ0aWFsIFxQaGkodCl9e1xwYXJ0aWFsIHR9IH1fe3QgPSBiXzEgKyB3XzFcUGhpKGJfMCArIHdfMHgpfVxcCiY9IC0gXGZyYWN7MX17Tn1cc3VtX2kgKHlfaSAtIFxoYXR7eX1faSkgXGNkb3QgXFBoaSh0KSgxIC0gXFBoaSh0KSkgXGNkb3Qgel9pLgpcZW5ke2FsaWduZWR9CiQkCgpTaW1pbGFybHkgZm9yIHRoZSBiaWFzIGluIHRoZSBsYXN0IGxheWVyOgoKJCQKXGZyYWN7XHBhcnRpYWwgXG1ib3h7TVNFLUxvc3N9fXtccGFydGlhbCBiXzF9ID0gLSBcZnJhY3sxfXtOfVxzdW1faSAoeV9pIC0gXGhhdHt5fV9pKSBcY2RvdCBcUGhpKHQpKDEgLSBcUGhpKHQpKS4KJCQKCk5vdyBtb3ZlIG9uIHRvIHRoZSBiaWFzIGFuZCB3ZWlnaHQgaW4gdGhlIGZpcnN0IGxheWVyOgoKJCQKXGJlZ2lue2FsaWduZWR9ClxmcmFje1xwYXJ0aWFsIFxtYm94e01TRS1Mb3NzfX17XHBhcnRpYWwgd18wfQomPSAtIFxmcmFjezF9e059XHN1bV9pICh5X2kgLSBcaGF0e3l9X2kpXGZyYWN7XHBhcnRpYWwgXGhhdHt5fV9pfXtccGFydGlhbCB3XzB9IFxcCiY9IC0gXGZyYWN7MX17Tn1cc3VtX2kgKHlfaSAtIFxoYXR7eX1faSkKXHVuZGVyYnJhY2V7ICBcZnJhY3tccGFydGlhbCB0fXtccGFydGlhbCB3XzB9XGZyYWN7XHBhcnRpYWwgXFBoaSh0KX17XHBhcnRpYWwgdH0gfV97dCA9IGJfMSArIHdfMVxQaGkoYl8wICsgd18weCl9XFwKJj0gLSBcZnJhY3sxfXtOfVxzdW1faSAoeV9pIC0gXGhhdHt5fV9pKSBcY2RvdCBcUGhpKHQpKDEgLSBcUGhpKHQpKSBcY2RvdCAKXHVuZGVyYnJhY2V7IFxQaGkoaykoMSAtIFxQaGkoaykpIH1fe2sgPSBiXzAgK3dfMHh9IFxjZG90IHdfMSBcY2RvdCB4X2ksIFxcClxmcmFje1xwYXJ0aWFsIFxtYm94e01TRS1Mb3NzfX17XHBhcnRpYWwgYl8wfSAKJj0gLSBcZnJhY3sxfXtOfVxzdW1faSAoeV9pIC0gXGhhdHt5fV9pKSBcY2RvdCBcUGhpKHQpKDEgLSBcUGhpKHQpKSBcY2RvdCBcUGhpKGspKDEgLSBcUGhpKGspKS4KXGVuZHthbGlnbmVkfQokJAoKT25lIGNhbiBjbGVhcmx5IHNlZSB0aGVyZSBpcyBhIGxpbmthZ2UgYmV0d2VlbiB0aGUgZGVyaXZhdGl2ZSBvZiB0aGUgd2VpZ2h0cyBpbiBjb25zZWN1dGl2ZSBsYXllcnM6CgokJApcYmVnaW57YWxpZ25lZH0KXGZyYWN7XHBhcnRpYWwgXG1ib3h7TVNFLUxvc3N9fXtccGFydGlhbCB3XzF9CiY9IC0gXGZyYWN7MX17Tn1cc3VtX2kgKHlfaSAtIFxoYXR7eX1faSkgXGNkb3QgXFBoaSh0KSgxIC0gXFBoaSh0KSkgXGNkb3Qgel9pLCBcXApcZnJhY3tccGFydGlhbCBcbWJveHtNU0UtTG9zc319e1xwYXJ0aWFsIHdfMH0KJj0gLSBcZnJhY3sxfXtOfVxzdW1faSAoeV9pIC0gXGhhdHt5fV9pKSBcY2RvdCAKXHVuZGVyYnJhY2V7XFBoaSh0KSgxIC0gXFBoaSh0KSl9X3tcaGF0e3l9X2koMSAtIFxoYXR7eX1faSl9IFxjZG90IApcdW5kZXJicmFjZXtcUGhpKGspKDEgLSBcUGhpKGspKSBcY2RvdCB3XzEgXGNkb3QgeF9pfV97XGZyYWN7XHBhcnRpYWwgd18xen17XHBhcnRpYWwgd18wfSA9IFxmcmFje1xwYXJ0aWFsIHdfMVxQaGkoYjAgKyB3XzB4KX17XHBhcnRpYWwgd18wfX0uClxlbmR7YWxpZ25lZH0KJCQKCiMjIyBDcm9zcy1FbnRyb3B5IExvc3MKClNpbWlsYXJseSB3ZSBjYW4gZGVyaXZlIHRoZSBncmFkaWVudHMgZm9yIGNyb3NzLWVudHJvcHkgbG9zcy4KCiQkClxiZWdpbnthbGlnbmVkfQpcbWJveHtMb2dMb3NzfSAKJj0gLSBcZnJhY3sxfXtOfVxzdW1faV5OIFxiaWdnWyB5X2lcbG5caGF0e3l9X2kgKyAoMSAtIHlfaSlcbG4oMSAtIFxoYXR7eX1faSlcYmlnZ10sIFxcClxmcmFje1xwYXJ0aWFsIFxtYm94e0xvZ0xvc3N9fXtccGFydGlhbCB3XzF9CiY9IC0gXGZyYWN7MX17Tn0gXHN1bV9pICh5X2kgLSBcaGF0e3l9X2kpel9pLCBcXApcZnJhY3tccGFydGlhbCBcbWJveHtMb2dMb3NzfX17XHBhcnRpYWwgd18wfQomPSAtIFxmcmFjezF9e059IFxzdW1faSAoeV9pIC0gXGhhdHt5fV9pKVxQaGkoaykoMSAtIFxQaGkoaykpd18xeF9pLlxcClxlbmR7YWxpZ25lZH0KJCQKCihTa2lwIHRoZSBiaWFzIHRlcm1zIHRvIHNhdmUgc3BhY2UuKQoKTm93IGxldCdzIGltcGxlbWVudCB0aGUgc2ltcGxlIG5ldXJhbCBuZXR3b3JrIG1vZGVsIGluIFB5dGhvbjoKCmBgYHtweXRob24gbm59CmRlZiBzaWdtb2lkKHgpOgogIHJldHVybiBucC5leHAoLW5wLmxvZ2FkZGV4cCgwLCAteCkpCgoKZGVmIHNpZ21vaWRfZ3JhZCh6KToKICByZXR1cm4geiooMSAtIHopCgoKY2xhc3MgTmV1cmFsTmV0d29yazoKICAiIiJTaW1wbGUgbmV1cmFsIG5ldHdvcmsgd2l0aCAxIGhpZGRlbiBsYXllciBvZiA0IG5ldXJvbnMuIiIiCiAgZGVmIF9faW5pdF9fKHNlbGYsIHgsIHkpOgogICAgc2VsZi5pbnB1dCA9IHgKICAgIHNlbGYudzEgPSBucC5yYW5kb20ucmFuZChzZWxmLmlucHV0LnNoYXBlWzFdLCA0KQogICAgc2VsZi53MiA9IG5wLnJhbmRvbS5yYW5kKDQsIDEpCiAgICBzZWxmLnkgPSB5CiAgICBzZWxmLm91dHB1dCA9IG5wLnplcm9zKHkuc2hhcGUpCgogIGRlZiBmZWVkZm9yd2FyZChzZWxmKToKICAgIHNlbGYubGF5ZXIxID0gc2lnbW9pZChucC5kb3Qoc2VsZi5pbnB1dCwgc2VsZi53MSkpCiAgICBzZWxmLm91dHB1dCA9IHNpZ21vaWQobnAuZG90KHNlbGYubGF5ZXIxLCBzZWxmLncyKSkKCiAgZGVmIGJhY2twcm9wKHNlbGYsIGxyKToKICAgIHJhaXNlIE5vdEltcGxlbWVudGVkRXJyb3IKICAKICBkZWYgdHJhaW4oc2VsZiwgbHIsIG5fc3RlcCk6CiAgICBmb3Igc3RlcCBpbiByYW5nZShuX3N0ZXApOgogICAgICBzZWxmLmZlZWRmb3J3YXJkKCkKICAgICAgc2VsZi5iYWNrcHJvcChscj1scikKICAgICAgeWhhdCA9ICIsIi5qb2luKFtzdHIoeSkgZm9yIHkgaW4gbnAuc3F1ZWV6ZShzZWxmLm91dHB1dCldKQogICAgcmV0dXJuIHloYXQKCgpjbGFzcyBOZXJ1YWxOZXR3b3JrV2l0aE1TRUxvc3MoTmV1cmFsTmV0d29yayk6CiAgZGVmIGJhY2twcm9wKHNlbGYsIGxyKToKICAgICMgV2UgaWdub3JlIGFsbCBjb25zdGFudCB0ZXJtcyBpbiB0aGUgZ3JhZGllbnQuCiAgICBzZWxmLmR5ID0gc2VsZi55IC0gc2VsZi5vdXRwdXQKICAgIGR3MiA9IC0gbnAuZG90KHNlbGYubGF5ZXIxLlQsIChzZWxmLmR5KnNpZ21vaWRfZ3JhZChzZWxmLm91dHB1dCkpKQogICAgZHcxID0gLSBucC5kb3Qoc2VsZi5pbnB1dC5ULCAKICAgICAgICAgICAgICAgICAgIChucC5kb3Qoc2VsZi5keSpzaWdtb2lkX2dyYWQoc2VsZi5vdXRwdXQpLAogICAgICAgICAgICAgICAgICAgICAgICAgICBzZWxmLncyLlQpKnNpZ21vaWRfZ3JhZChzZWxmLmxheWVyMSkpKQogICAgc2VsZi53MSAtPSBsciAqIGR3MQogICAgc2VsZi53MiAtPSBsciAqIGR3MgoKCmNsYXNzIE5lcnVhbE5ldHdvcmtXaXRoTG9nTG9zcyhOZXVyYWxOZXR3b3JrKToKICBkZWYgYmFja3Byb3Aoc2VsZiwgbHIpOgogICAgIyBXZSBpZ25vcmUgYWxsIGNvbnN0YW50IHRlcm1zIGluIHRoZSBncmFkaWVudC4KICAgIHNlbGYuZHkgPSBzZWxmLnkgLSBzZWxmLm91dHB1dAogICAgZHcyID0gLSBucC5kb3Qoc2VsZi5sYXllcjEuVCwgc2VsZi5keSkKICAgIGR3MSA9IC0gbnAuZG90KHNlbGYuaW5wdXQuVCwgCiAgICAgICAgICAgICAgICAgICBucC5kb3Qoc2VsZi5keSwgc2VsZi53Mi5UKSpzaWdtb2lkX2dyYWQoc2VsZi5sYXllcjEpKQogICAgc2VsZi53MSAtPSBsciAqIGR3MQogICAgc2VsZi53MiAtPSBsciAqIGR3MgpgYGAKCkhlcmUgd2Ugd2lsbCB1c2UgdGhlIGhlbGxvLXdvcmxkIGV4YW1wbGUgb2YgYXJ0aWZpY2lhbCBuZXVyYWwgbmV0d29yazoKVGhlIFtYT1JdKGh0dHBzOi8vZW4ud2lraXBlZGlhLm9yZy93aWtpL1hPUl9nYXRlKSBwcm9ibGVtLgpUaGUgWE9SIGxvZ2ljYWwgb3V0Y29tZSwKYmVzaWRlcyBleHRyZW1lbHkgc2ltcGxlLAppcyBub3QgbGluZWFybHkgc2VwYXJhYmxlLgpTbyBpdCBzZXJ2ZXMgYXMgYSBnb29kIGV4YW1wbGUgb2Ygc2hvd2Nhc2luZyBuZXVyYWwgbmV0d29ya3MnIG5vbi1saW5lYXJpdHkuCgpUaGUgaW5wdXQgZGF0YSBpcyBzaW1wbHkgY29tYmluYXRpb24gb2YgdHdvIGJpbmFyeSBzd2l0Y2hlcy4KKEZvciBjb21wbGV0ZW5lc3Mgd2UgYWxzbyBpbmNsdWRlIGEgY29uc3RhbnQgdGVybSB3aGljaCBhbHdheXMgZXZhbHVhdGUgdG8gMSBhcyB0aGUgZmlyc3QgZmVhdHVyZS4pClRoZSBvdXRwdXQgZGF0YSBpcyB0aGUgWE9SIHJlc3VsdC4KCmBgYHtweXRob24gbm5feG9yX2RhdGF9ClhubiA9IG5wLmFycmF5KAogICAgW1sxLCAwLCAwXSwKICAgICBbMSwgMSwgMF0sCiAgICAgWzEsIDAsIDFdLAogICAgIFsxLCAxLCAxXV0pCnlubiA9IG5wLmFycmF5KFtbMF0sIFsxXSwgWzFdLCBbMF1dKQoKcHJpbnQoWG5uKSAgIyBJbnB1dCBmZWF0dXJlczogQmlhcyArIHR3byBiaW5hcnkgc3dpdGNoZXMuCnByaW50KHlubikgICMgWE9SIG91dHB1dC4KYGBgCgpOb3cgbGV0J3Mgc2VlIGlmIG91ciBzaW1wbGUgbmV1cmFsIG5ldHdvcmsgbW9kZWwgY2FuIGxlYXJuIHRoZSBYT1IgcGF0dGVybi4KCmBgYHtweXRob24gbm5fZ2RfbXNlX2xvc3N9Cm5uX21zZSA9IE5lcnVhbE5ldHdvcmtXaXRoTVNFTG9zcyhYbm4sIHlubikKbm5fbXNlLnRyYWluKGxyPTEsIG5fc3RlcD0zMDAwKSAgIyBUaGUgcHJlZGljdGVkIFhPUiBvdXRjb21lLgpwcmludChubl9tc2UudzEpICAjIEVzdGltYXRlZCAxc3QtbGF5ZXIgbW9kZWwgd2VpZ2h0cwpwcmludChubl9tc2UudzIpICAjIEVzdGltYXRlZCAybmQtbGF5ZXIgbW9kZWwgd2VpZ2h0cwpgYGAKCmBgYHtweXRob24gbm5fZ2RfbG9nX2xvc3N9Cm5uX2xvZ2xvc3MgPSBOZXJ1YWxOZXR3b3JrV2l0aExvZ0xvc3MoWG5uLCB5bm4pCm5uX2xvZ2xvc3MudHJhaW4obHI9MSwgbl9zdGVwPTMwMDApCmBgYAoKRm9yIHRoaXMgc2ltcGxlIGV4YW1wbGUsCmJvdGggTVNFIGFuZCBjcm9zcy1lbnRyb3B5IGxvc3MgY2FuIHdvcmsgZmluZSB0byBmaWd1cmUgb3V0IHRoZSBYT1IgcGF0dGVybi4KKFN0cmljdGx5IHNwZWFraW5nIGNyb3NzLWVudHJvcHkgbG9zcyBwZXJmb3JtcyBiZXR0ZXIuKQoKIyBSZWd1bGFyaXphdGlvbgoKUmVndWxhcml6YXRpb24gaXMgYSB0ZWNobmlxdWUgdG8gbWl0aWdhdGUgW292ZXJmaXR0aW5nXShodHRwczovL2VuLndpa2lwZWRpYS5vcmcvd2lraS9PdmVyZml0dGluZykuCkl0IGlzIG5vdCBwYXJ0aWN1bGFyIHRvIG5ldXJhbCBuZXR3b3JrcyBidXQgZ2VuZXJhbCB0byBhbGwgbWFjaGluZSBsZWFybmluZyBtb2RlbHMuCgpBIHJlZ3VsYXJpemF0aW9uIGlzIGEgY29uc3RyYWludCBhZGRlZCBvbnRvIHRoZSBvcmlnaW5hbCBvcHRpbWl6YXRpb24gcHJvYmxlbSAobG9zcyBtaW5pbWl6YXRpb24pLgpDb25zaWRlciBtb2RlbCB3ZWlnaHRzIGFzIGEgcmVhbCB2ZWN0b3IsCndlIHVzdWFsbHkgdXNlIHRoZSBbbm9ybV0oaHR0cHM6Ly9lbi53aWtpcGVkaWEub3JnL3dpa2kvTm9ybV8obWF0aGVtYXRpY3MpKSBvZiB0aGUgdmVjdG9yIHRvIGNvbnN0cmFpbnQgaXRzIHNpemUgaW4gdGhlIG9wdGltaXphdGlvbi4KVGhlIG5vcm0gaXMgYSBtZWFzdXJlIG9mIHNpemUgb2YgYSB2ZWN0b3IuClRoZSBnZW5lcmFsIGlkZWEgaXMgdG8gYWRkIGEgcGVuYWx0eSB0byB0aGUgdGFyZ2V0IGZ1bmN0aW9uICh3aGljaCBpcyBhIGxvc3MgZnVuY3Rpb24pIHN1Y2ggdGhhdCBpdCBkaXNjb3VyYWdlcyB1c2luZyBsYXJnZSB3ZWlnaHRzICh3aGljaCBpbmNyZWFzZSB0aGUgc2l6ZSBvZiB2ZWN0b3IpIHRvIGFjaGlldmUgdGhlIG1pbmltaXphdGlvbiBnb2FsLgoKSW4gZ2VuZXJhbCwKYSBNU0UgbG9zcyBtaW5pbWl6YXRpb24gd2l0aCBhIHAtbm9ybSByZWd1bGFyaXphdGlvbiBmb3IgYSBsaW5lYXIgbW9kZWwgY2FuIGJlIHdyaXR0ZW4gKGluIG1hdHJpeCBmb3JtKSBhczoKCiQkClxiZWdpbnthbGlnbmVkfQpcaGF0e3l9ICY9IFhcbWF0aHJte0J9LCBcXApcb3BlcmF0b3JuYW1lKnthcmdtaW59X1xiZXRhIFxtYm94e0xvc3N9ICY9ClxmcmFjezF9e059XGJpZ2dbClx1bmRlcmJyYWNleyh5IC0gWFxtYXRocm17Qn0pXlQoeSAtIFhcbWF0aHJte0J9KX1fXHRleHR7c3VtIG9mIHNxdWFyZWQgZXJyb3JzfSArIApcdW5kZXJicmFjZXtcbGFtYmRhXFZlcnRcbWF0aHJte0J9XFZlcnRfe3B9fV9cdGV4dHtwLW5vcm0gcmVndWxhcml6YXRpb259ClxiaWdnXSwKXGVuZHthbGlnbmVkfQokJAoKd2l0aCBhIG1vZGVsIHdlaWdodCB2ZWN0b3IgJFxtYXRocm17Qn0gPSBbXGJldGFfMSwgXGJldGEyLCAuLi4sIFxiZXRhX2tdJC4KVGhlIHBhcmFtZXRlciAkXGxhbWJkYSQgaXMgYSBuZXcgaHlwZXItcGFyYW1ldGVyIGludHJvZHVjZWQgYnkgdGhlIHJlZ3VsYXJpemF0aW9uLgoKT3IgcHV0IGl0IGluIGEgc2NhbGFyIGZvcm06CgokJApcb3BlcmF0b3JuYW1lKnthcmdtaW59X1xiZXRhIFxtYm94e0xvc3N9ID0KXGZyYWN7MX17Tn1cc3VtX3tpPTF9Xk5cYmlnZyggeV9pIC0gXG1hdGhybXtCfXhfaVxiaWdnKV4yICsgClxmcmFje1xsYW1iZGF9e059XGJpZ2coXHN1bV97aj0xfV5rXHZlcnRcYmV0YV9qXHZlcnRecFxiaWdnKV57MS9wfS4KJCQKClBvcHVsYXIgY2hvaWNlcyBvZiAkcCQgaXMgJHAgPSAxJCAoTDEtTm9ybSkgYW5kICRwID0gMiQgKEwyLU5vcm0pLgpOb3RhYmx5LAokcCQgY2FuIGJlIGFueSBub24taW50ZWdlciByZWFsIHZhbHVlIGFuZCB3b3VsZCBoYXZlIGV2ZW4gYmV0dGVyIHJlc3VsdCB0aGFuIGludGVnZXItbm9ybS4KQnV0IHRoZWlyIGNvbXB1dGF0aW9uYWwgZGlmZmljdWx0eSBtYWtlIHRoZW0gbXVjaCBsZXNzIGRlc2lyYWJsZSBpbiBwcmFjdGljZS4KCkluIHByYWN0aWNlLAp3ZSBhbHNvIGlnbm9yZSB0aGUgcm9vdCBpbiB0aGUgbm9ybSBmb3IgY29tcHV0YXRpb25hbCBzaW1wbGljaXR5LgpTbyB0aGUgcHJvYmxlbSBpbmRlZWQgYmVjb21lcwoKJCQKXG9wZXJhdG9ybmFtZSp7YXJnbWlufV9cYmV0YSBcbWJveHtMb3NzfSA9ClxmcmFjezF9e059XHN1bV97aT0xfV5OXGJpZ2coIHlfaSAtIFxtYXRocm17Qn14X2lcYmlnZyleMiArIApcZnJhY3tcbGFtYmRhfXtOfVxiaWdnKFxzdW1fe2o9MX1ea1x2ZXJ0XGJldGFfalx2ZXJ0XnBcYmlnZykuCiQkCgpUaGVyZSBpcyBhbHNvIGEgc28tY2FsbGVkIFtlbGFzdGljbmV0IHJlZ3VsYXJpemF0aW9uXShodHRwczovL2VuLndpa2lwZWRpYS5vcmcvd2lraS9FbGFzdGljX25ldF9yZWd1bGFyaXphdGlvbikgd2hpY2ggY29tYmluZXMgYm90aCBMMSBhbmQgTDIgbm9ybXMgdG9nZXRoZXIgdG8gZ2l2ZSBwb3RlbnRpYWxseSBiZXR0ZXIgcmVzdWx0LgpIb3dldmVyIGl0IHJlcXVpcmVzIGEgbG90IG1vcmUgY29tcHV0aW5nIHJlc291cmNlcyBhbmQgaGVuY2UgYmVjb21lIG11Y2ggbGVzcyBmZWFzaWJsZSBpbiBhIG5ldXJhbCBuZXR3b3JrIG1vZGVsLgoKIyMgTDItTm9ybSBSZWd1bGFyaXphdGlvbgoKVGhlIEwyLU5vcm0gc2hyaW5rcyB0aGUgc2l6ZSBvZiBtb2RlbCB3ZWlnaHRzLgpUaG9zZSB3aG8gY29udHJpYnV0ZSBsZXNzIHRvIGxvc3MgbWluaW1pemF0aW9uIHdpbGwgc2hyaW5rIG1vcmUuCgpCYWNrIHRvIG91ciB1bml2YXJpYXRlIGxpbmVhciBtb2RlbCAkXGhhdHt5fV9pID0gXGJldGFfMCArIFxiZXRhXzF4X2kkIGZvciBzeW1vbGljIHNpbXBsaWNpdHkuCk91ciBNU0UgbG9zcyBpcyAKCiQkClxtYm94e01TRS1Mb3NzfSA9IFxmcmFjezF9e059XHN1bV9pXGJpZ1t5X2ktKFxiZXRhXzAgKyBcYmV0YV8xeF9pKVxiaWddXjIgKyBcZnJhY3tcbGFtYmRhfXtOfShcYmV0YV8wXjIgKyBcYmV0YV8xXjIpLgokJAoKU2luY2UgdGhlIHBlbmF0eSBpcyBhZGRpdGl2ZSwKb3VyIGdyYWRpZW50IHNvbHV0aW9uIGlzIGV4dHJlbWVseSBlYXN5OgoKJCQKXGJlZ2lue2FsaWduZWR9ClxmcmFje1xwYXJ0aWFsXG1ib3h7TVNFLUxvc3N9fXtccGFydGlhbFxiZXRhXzB9IAomPSAtIFxmcmFjezJ9e059XHN1bV9pIFxiaWdbIHlfaSAtIChcYmV0YV8wICsgXGJldGFfMXhfaSkgXGJpZ10gKyBcZnJhY3syfXtOfVxsYW1iZGFcYmV0YV8wLCBcXApcZnJhY3tccGFydGlhbFxtYm94e01TRS1Mb3NzfX17XHBhcnRpYWxcYmV0YV8xfSAKJj0gLSBcZnJhY3syfXtOfVxzdW1faSBcYmlnWyB5X2kgLSAoXGJldGFfMCArIFxiZXRhXzF4X2kpIFxiaWddeF9pICsgXGZyYWN7Mn17Tn1cbGFtYmRhXGJldGFfMS4KXGVuZHthbGlnbmVkfQokJAoKQSBsaW5lYXIgcmVncmVzc2lvbiBtb2RlbCB3aXRoIGwyIHJlZ3VsYXJpemF0aW9uIGlzIHJlZmVycmVkIHRvIGFzIHRoZSByaWRnZSByZWdyZXNzaW9uLgpCZSBhd2FyZSB0aGF0IGluIGltcGxlbWVudGluZyB0aGUgYmF0Y2ggb3B0aW1pemVyIHdlIG5lZWQgdG8gc2NhbGUgZG93biB0aGUgdXBkYXRlIGZyb20gbDIgbm9ybSBieSB0aGUgc2l6ZSBvZiBiYXRjaCBpbiBvcmRlciB0byBiYWxhbmNlIHRoZSBzaXplIG9mIGwyIG5vcm0gYW5kIHRoZSBvcmlnaW5hbCBsb3NzLgoKYGBge3B5dGhvbiByaWdkZV9yZWd9CmRlZiBtc2VfZ3JhZF9sMihYLCB5LCBiZXRhKToKICBhID0gMSAgIyBIYXJkY29kZSB0aGUgcmVndWxhcml6YXRpb24gY29lZmZpY2llbnQgZm9yIHNpbXBsaWNpdHkuCiAgcmV0dXJuIC0yICogKCh5IC0gWC5kb3QoYmV0YSkpLmRvdChYKSkgLyBYLnNoYXBlWzBdICsgMiAqIGEgKiBiZXRhIC8gWC5zaGFwZVswXQoKYmF0Y2hfYmV0YSwgYmF0Y2hfbG9zcyA9IGdkX2JhdGNoX29wdGltaXplKFgsIHksIG1zZV9ncmFkX2wyLCBuX2Vwb2NoPTEwMCwgYmF0Y2hfc2l6ZT02NCkKcHJpbnQoYmF0Y2hfYmV0YSkKYGBgCgpUaGUgcmVzdWx0aW5nIGVzdGltYXRlcyBhcmUgc21hbGxlciB0aGFuIHRoZSB2YW5pbGxhIGdyYWRpZW50IGRlc2NlbnQuCgpPbmUgdGhpbmcgd29ydGggbm90aW5nIGlzIHRoYXQgd2hlbiBiYXRjaCBncmFkaWVudCBkZXNjZW50IGlzIHVzZWQgYWxvbmcgd2l0aCByZWd1bGFyaXphdGlvbiwKYSBzaWRlIGVmZmVjdCBleGlzdHMgZHVlIHRvIHRoZSBzY2FsaW5nIG9mIHRoZSBiYXRjaCBzaXplIG9uIHRoZSByZWd1bGFyaXphdGlvbiB0ZXJtLgoKRXhwZXJpbWVudHMgd2l0aCBkaWZmZXJlbnQgYmF0Y2ggc2l6ZXMgd2l0aCBsMiByZWd1bGFyaXphdGlvbjoKCmBgYHtweXRob24gcmlkZ2VfcmVnX2RpZmZlcl9iYXRjaF9zaXplfQpmb3IgYnNpemUgaW4gWzgsIDE2LCAzMiwgNjQsIDEyOCwgMjU2LCA1MTIsIDEwMDBdOgogIHByaW50KCJCYXRjaCBTaXplOiB7OjR9IHwgRXN0aW1hdGU6IHt9Ii5mb3JtYXQoCiAgICBic2l6ZSwKICAgIGdkX2JhdGNoX29wdGltaXplKFgsIHksIG1zZV9ncmFkX2wyLCBuX2Vwb2NoPTUwMCwgYmF0Y2hfc2l6ZT1ic2l6ZSlbMF0pKQpgYGAKCkxldCdzIGNoZWNrIHRoZSByZXN1bHQgdXNpbmcgYHNrbGVhcm5gJ3MgYFJpZGdlYCByZWdyZXNzb3IgKHdoaWNoIGRvZXNuJ3QgdXNlIGdyYWRpZW50IGRlc2NlbnQgYXMgaXRzIHNvbHZlcik6CgpgYGB7cHl0aG9uIHJpZGdlX3JlZ19za2xlYXJufQojIFdlIHNldCBmaXRfaW50ZXJjZXB0PUZhbHNlIHNpbmNlIG91ciBkZXNpZ24gbWF0cml4IGFscmVhZHkgY29udGFpbnMgaW50ZXJjZXB0LgojIEFjY29yZGluZyB0byB0aGUgZG9jIHRoZSBjb25zdGFudCAyIGluIHRoZSBkZXJpdmF0aXZlIGlzIG5vdCBpbmNsdWRlZCBzbyB3ZSBzZXQgYWxwaGEgPSAyLgpmcm9tIHNrbGVhcm4ubGluZWFyX21vZGVsIGltcG9ydCBSaWRnZQpwcmludChSaWRnZShhbHBoYT0yLCBmaXRfaW50ZXJjZXB0PUZhbHNlKS5maXQoWCwgeSkuY29lZl8pCmBgYAoKVGhlIHJlc3VsdCBpcyBjbG9zZWQgdG8gZ3JhZGllbnQgZGVzY2VudCB3aXRoIG5lYXJseSBhIGZ1bGwtYmF0Y2ggdXBkYXRlIChpLmUuLCB1c2UgdGhlIGVudGlyZSB0cmFpbmluZyBkYXRhIGZvciBvbmUgdXBkYXRlKS4KCkV4YWN0bHkgdGhlIHNhbWUgbG9naWMgY2FuIGFwcGx5IHRvIGxvZ2lzdGljIHJlZ3Jlc3Npb24gYW5kIGlzIG5vdCBkaXNjdXNzZWQgaGVyZSB0byBhdm9pZCByZWR1bmRhbmN5LgoKIyMgTDEtTm9ybSBSZWd1bGFyaXphdGlvbgoKVGhlIEwxLU5vcm0gcHJlZmVycyBzcGFyc2l0eSBpbiB0aGUgbW9kZWwgd2VpZ2h0cy4KVGhhdCBpcywKaXQgbWF5IHplcm8gb3V0IHdlaWdodHMgdGhhdCBhcmUgbm90IGNvbnRyaWJ1dGluZyB0byB0aGUgbG9zcy4KV2hpbGUgdGhlIEwyLU5vcm0gb25seSBtYWtlcyB0aGVtIGFyYml0cmFyaWx5IHNtYWxsLgoKTVNFIGxvc3Mgd2l0aCBsMSBub3JtOgoKJCQKXG1ib3h7TVNFLUxvc3N9ID0gXGZyYWN7MX17Tn1cc3VtX2lcYmlnW3lfaS0oXGJldGFfMCArIFxiZXRhXzF4X2kpXGJpZ11eMiArIFxsYW1iZGEoXHZlcnRcYmV0YV8wXHZlcnQgKyBcdmVydFxiZXRhXzFcdmVydCksCiQkCgp3aXRoIGdyYWRpZW50czpeW05vdGUgdGhhdCB0aGUgZGVyaXZhdGl2ZSAkXGZyYWN7ZHV9e2R4fSA9IFxmcmFje3V9e1x2ZXJ0IHUgXHZlcnR9XGZyYWN7ZHV9e2R4fSQgYXQgJHUgPSAwJCBpcyB1bmRlZmluZWQuXQoKJCQKXGJlZ2lue2FsaWduZWR9ClxmcmFje1xwYXJ0aWFsXG1ib3h7TVNFLUxvc3N9fXtccGFydGlhbFxiZXRhXzB9IAomPSAtIFxmcmFjezJ9e059XHN1bV9pIFxiaWdbIHlfaSAtIChcYmV0YV8wICsgXGJldGFfMXhfaSkgXGJpZ10gKyBcbGFtYmRhXGZyYWN7XGJldGFfMH17XHZlcnRcYmV0YV8wXHZlcnR9LCBcXApcZnJhY3tccGFydGlhbFxtYm94e01TRS1Mb3NzfX17XHBhcnRpYWxcYmV0YV8xfSAKJj0gLSBcZnJhY3syfXtOfVxzdW1faSBcYmlnWyB5X2kgLSAoXGJldGFfMCArIFxiZXRhXzF4X2kpIFxiaWddeF9pICsgXGxhbWJkYVxmcmFje1xiZXRhXzF9e1x2ZXJ0XGJldGFfMVx2ZXJ0fS4KXGVuZHthbGlnbmVkfQokJAoKQSBsaW5lYXIgcmVncmVzc2lvbiBtb2RlbCB3aXRoIGwxIHJlZ3VsYXJpemF0aW9uIGlzIHJlZmVycmVkIHRvIGFzIHRoZSBsYXNzbyByZWdyZXNzaW9uLgpMZXQncyBmaXJzdCBjaGVjayB0aGUgcmVzdWx0IHVzaW5nIGBza2xlYXJuYCdzIGBMYXNzb2AgcmVncmVzc29yICh3aGljaCB1c2VzIGEgY29vcmRpbmF0ZSBkZXNjZW50IHNvbHZlcik6CgpgYGB7cHl0aG9uIGxhc3NvX3JlZ19za2xlYXJufQojIFdlIHNldCBmaXRfaW50ZXJjZXB0PUZhbHNlIHNpbmNlIG91ciBkZXNpZ24gbWF0cml4IGFscmVhZHkgY29udGFpbnMgaW50ZXJjZXB0Lgpmcm9tIHNrbGVhcm4ubGluZWFyX21vZGVsIGltcG9ydCBMYXNzbwpwcmludChMYXNzbyhhbHBoYT0xLCBmaXRfaW50ZXJjZXB0PUZhbHNlKS5maXQoWCwgeSkuY29lZl8pCmBgYAoKVG8gZGVyaXZlIHJvdWdobHkgdGhlIHNhbWUgcmVzdWx0LAp3ZSBuZWVkIHRvIGNhbGlicmF0ZSB0aGUgY29lZmZpY2llbnQgb24gcmVndWxhcml6YXRpb24gaW4gb3VyIGdyYWRpZW50IGRlc2NlbnQgc29sdmVyOgoKYGBge3B5dGhvbiBsYXNzb19yZWd9CmRlZiBtc2VfZ3JhZF9sMShYLCB5LCBiZXRhKToKICAjIGEgaXMgc2V0IHRvIDIgc2luY2UgaW4gc2tsZWFybiBjb252ZW50aW9uIHRoZSBlbnRpcmUgbG9zcyBpcyBzY2FsZWQgYnkgYSBmYWN0b3Igb2YgMS8yCiAgIyB0byBjYW5jZWwgb3V0IHRoZSBkZXJpdmF0aXZlIGNvbnN0YW50IG9uIHRoZSBzcXVhcmVkIGVycm9yIHRlcm0uCiAgYSA9IDIKICByZXR1cm4gLTIgKiAoKHkgLSBYLmRvdChiZXRhKSkuZG90KFgpKSAvIFguc2hhcGVbMF0gKyBhICogbnAuc2lnbihiZXRhKQoKIyBXZSB1c2UgYSBmdWxsLWJhdGNoIGdyYWRpZW50IGRlc2NlbnQgaGVyZS4KYmF0Y2hfYmV0YSwgYmF0Y2hfbG9zcyA9IGdkX2JhdGNoX29wdGltaXplKFgsIHksIG1zZV9ncmFkX2wxLCBuX2Vwb2NoPTEwMDAsIGJhdGNoX3NpemU9MTAwMCkKcHJpbnQoYmF0Y2hfYmV0YSkKYGBgCgpXZSBjYW4gYWxzbyBjaGVjayB0aGUgY29uc2lzdGVuY3kgYnkgY2FsbGluZyBgc2tsZWFybmAncyBgU0dEUmVncmVzc29yYDoKCmBgYHtweXRob24gbGFzc29fcmVnX3NrbGVhcm5fc2dkfQpmcm9tIHNrbGVhcm4ubGluZWFyX21vZGVsIGltcG9ydCBTR0RSZWdyZXNzb3IKcHJpbnQoU0dEUmVncmVzc29yKHBlbmFsdHk9ImwxIiwgYWxwaGE9MSwgZml0X2ludGVyY2VwdD1GYWxzZSkuZml0KFgsIHkpLmNvZWZfKQpgYGAKCk5vdyBsZXQncyBwdXJwb3NlbHkgYWRkIG9uZSByYW5kb20gZmVhdHVyZSBhcyBhIG5vaXNlIGludG8gdGhlIGRlc2lnbiBtYXRyaXggYW5kIHNlZSBob3cgdGhlIHJlZ3VsYXJpemF0aW9uIGhlbHBzIHRvIHNocmluayB0aGUgd2VpZ2h0IG9mIHRoZSBub2lzZS4KCmBgYHtweXRob24gc2hyaW5rYWdlX2V4cH0KIyBJbnRyb2R1Y2UgYSB0b3RhbGx5IGlycmVsZXZhbnQgZmVhdHVyZSBpbnRvIG91ciBsaW5lYXIgbW9kZWwuCm5vaXNlID0gbnAucmFuZG9tLnVuaWZvcm0oc2l6ZT1OKS5yZXNoYXBlKE4sIDEpClhub2lzZSA9IG5wLmNvbmNhdGVuYXRlKFtYLCBub2lzZV0sIGF4aXM9MSkKCnByaW50KFJpZGdlKGFscGhhPTIsIGZpdF9pbnRlcmNlcHQ9RmFsc2UpLmZpdChYbm9pc2UsIHkpLmNvZWZfKQoKcHJpbnQoTGFzc28oYWxwaGE9MSwgZml0X2ludGVyY2VwdD1GYWxzZSkuZml0KFhub2lzZSwgeSkuY29lZl8pCmBgYAoKQXMgb25lIGNhbiBzZWUsCmBMYXNzb2AgcmVncmVzc29yIGlzIGFibGUgdG8gY29tcGxldGVseSB3aXBlIG91dCB0aGUgd2VpZ2h0IG9uIHRoZSByZWR1bmRhbnQgbm9pc2UsCndoaWxlIGBSaWRnZWAgY2FuIG9ubHkgc2hyaW5rIGl0IHRvd2FyZCB6ZXJvLgoKVG8gYXJyaXZlIHJvdWdobHkgYXQgdGhlIHNhbWUgcmVzdWx0IG9mIGBSaWRnZWAgdXNpbmcgb3VyIHNpbXBsZSBncmFkaWVudCBkZXNjZW50IHNvbHZlcjoKCmBgYHtweXRob24gc2hyaW5rYWdlX2V4cF9yaWdkZV9zZ2R9CnByaW50KGdkX2JhdGNoX29wdGltaXplKFhub2lzZSwgeSwgbXNlX2dyYWRfbDIsIGxyPS4wMywgbl9lcG9jaD0xMDAwLCBiYXRjaF9zaXplPTEwMDApWzBdKQpgYGAKCkFuZCBmb3IgdGhlIGBMYXNzb2AgY2FzZToKCmBgYHtweXRob24gc2hyaW5rYWdlX2V4cF9sYXNzb19zZ2R9CnByaW50KGdkX2JhdGNoX29wdGltaXplKFhub2lzZSwgeSwgbXNlX2dyYWRfbDEsIGxyPS4wMywgbl9lcG9jaD0xMDAwLCBiYXRjaF9zaXplPTEwMDApWzBdKQpgYGAKCk9uZSB0aGluZyB0byBub3RlOgpJdCBpcyBpbiBnZW5lcmFsIGRpZmZpY3VsdCB0byBhcnJpdmUgYXQgc3BhcnNlIHNvbHV0aW9uICgwIHdlaWdodCkgZm9yIGEgbmFpdmUgZ3JhZGllbnQgZGVzY2VudCBpbXBsZW1lbnRhdGlvbiBzdWNoIGFzIG91cnMuClNvbWUgZnVydGhlciBtYXRoZW1hdGljYWwgdHJpY2tzIGxpa2UgdGhlIFtwcm94aW1hbCBncmFkaWVudCBtZXRvaGRdKGh0dHBzOi8vZW4ud2lraXBlZGlhLm9yZy93aWtpL1Byb3hpbWFsX2dyYWRpZW50X21ldGhvZCkgbXVzdCBiZSBhcHBsaWVkIGluIG9yZGVyIHRvIHByb2R1Y2Ugc3BhcnNlIHJlc3VsdCB1bmRlciBmaW5pdGUgaXRlcmF0aW9ucy4KCkZpbmFsbHksCmFnYWluLApleGFjdGx5IHRoZSBzYW1lIGxvZ2ljIGNhbiBhcHBseSB0byBsb2dpc3RpYyByZWdyZXNzaW9uIGFuZCBpcyBub3QgZGlzY3Vzc2VkIGZ1cnRoZXIgdG8gYXZvaWQgcmVkdW5kYW5jeS4KCiMjIEdlb21ldHJpYyBJbnRlcnByZXRhdGlvbiBvZiBMMS9MMiBSZWd1bGFyaXphdGlvbgoKIyMgUHJvYmFiaWxpc3RpYyBJbnRlcnByZXRhdGlvbiBvZiBMMS9MMiBSZWd1bGFyaXphdGlvbgoKSWYgd2UgdG9vayBhIEJheWVzaWFuIGFwcHJvYWNoIG9uIHRoZSB3ZWlnaHQgZXN0aW1hdGlvbiwKdGhlbiBhIE5vcm1hbCBwcmlvciBvbiB0aGUgd2VpZ2h0IHdpbGwgcmVzdWx0IGluIGEgbWF4aW11bSBhIHBvc3RlcmlvcmkgZXN0aW1hdG9yIHRvIGhhdmUgYSB0YXJnZXQgZnVuY3Rpb24gd2l0aCB0aGUgbDIgcmVndWxhcml6YXRpb24gdGVybSwKYW5kIGEgW0xhcGxhY2Vhbl0oaHR0cHM6Ly9lbi53aWtpcGVkaWEub3JnL3dpa2kvTGFwbGFjZV9kaXN0cmlidXRpb24pIHByaW9yIHdpbGwgcmVzdWx0IGluIHRoZSBsMSB0ZXJtLgoKYGBge3B5dGhvbiBiYXllc2lhbl9wcmlvcl9wbG90fQpmcm9tIHNjaXB5LnN0YXRzIGltcG9ydCBsYXBsYWNlLCBub3JtCgp4dGlja3MgPSBucC5saW5zcGFjZSgtNSwgNSwgbnVtPTEwMDApCgpvZmlsZSA9ICJwbG90cy9yZWdfcHJpb3IuaHRtbCIKcCA9IHBsb3Rfb2ZmbGluZSgKICBvZmlsZT1vZmlsZSwKICBkYXRhPVtnby5TY2F0dGVyKHg9eHRpY2tzLCB5PWxhcGxhY2UucGRmKHh0aWNrcyksIG5hbWU9IkxhcGxhY2VhbiBQcmlvciAoTDEpIiksCiAgICAgICAgZ28uU2NhdHRlcih4PXh0aWNrcywgeT1ub3JtLnBkZih4dGlja3MpLCBuYW1lPSJOb3JtYWwgUHJpb3IgKEwyKSIpXSwKICBsYXlvdXQ9Z28uTGF5b3V0KAogICAgdGl0bGU9IkJheWVzaWFuIFByaW9yIG9uIE1vZGVsIFdlaWdodCIsCiAgICB4YXhpcz1kaWN0KHRpdGxlPSJNb2RlbCBXZWlnaHQiKSwKICAgIHlheGlzPWRpY3QodGl0bGU9IkRlbnNpdHkiKSkpCmBgYAoKYGBge3IsIGVjaG89RkFMU0V9Cmh0bWx0b29sczo6aW5jbHVkZUhUTUwocHkkb2ZpbGUpCmBgYAoKQ29tcGFyZWQgdG8gYSBOb3JtYWwgcHJpb3IsCmEgTGFwbGFjZWFuIHB1dCBtdWNoIG1vcmUgZGVuc2l0eSBhdCB0aGUgY2VudGVyLgpXaGVuIGJvdGggZGlzdHJpYnV0aW9uIGlzIHN0YW5kYXJkaXplZCAod2l0aCBsb2NhdGlvbiBhdCAwIGFuZCBzY2FsZSBhdCAxKSBhcyBqdXN0IHBsb3R0ZWQgYWJvdmUsCnRoaXMgY2FuIGJlIGludGVycHJldGVkIGFzIHRoYXQgYSBMYXBsYWNlYW4gcHJpb3IgaGFzIGEgc3Ryb25nZXIgcHJlZmVyZW5jZSBmb3IgYSBzcGFyc2Ugc29sdXRpb24gKHdlaWdodCA9IDApLgoKIyMgRHJvcG91dAoKQW5vdGhlciBtYXliZSBlYXNpZXIgd2F5IG9mIHJlZ3VsYXJpemF0aW9uIGlzIHRoZSBkcm9wb3V0IG1lY2hhbmlzbS4KSXQgaXMgZmlyc3QgaW50cm9kdWNlZCBpbiBhIG5ldXJhbCBuZXR3b3JrIG1vZGVsIGJ1dCBjYW4gYXBwbHkgdG8gc29tZSBvdGhlciBtYWNoaW5lIGxlYXJuaW5nIGFsZ29yaXRobXMgYXMgd2VsbCAoc3VjaCBhcyBncmFkaWVudCBib29zdGluZyB0cmVlcykuCgoKCgo=